Search Results

Not only for the manual, it works fine on my Ubuntu 7.10 :)

I suppose it's version/environment specific.

A User's Guide for GNU Awk
Edition 3
June, 2004

I would use this (as it seams you have GNU Awk):

% cat sep.awk
{ printf "%'d ", $1 } END { print "" }
% print 1 12 123 1234 12345 123456 1234567 |gawk -f sep.awk RS=" "
1 12 123 1,234 12,345...