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