On 31 March 2012 13:38, Basile Starynkevitch wrote:
>
> (I think that printf in AWK script is a GNU extension).

Nope, it's standard.

Reply via email to