Re: Decimal point or decimal comma

[Göran Uddeborg]

Aharon Robbins writes:
> I don't know why you're using this or which version it is; this would be
> some (old) snapshot of the CVS development tree. You should throw it away
> and get the officially released version, which is 3.1.7, from ftp.gnu.org.

It what comes with Fedora 11.  Judging from the NEWS file, it is some
snapshot taken after the 3.1.6 release.  (It starts with "Changes
after 3.1.6 release" with three points.)

> See the  --use-lc-numeric option which will give you what you want.

Yes, Hermann Peifer also pointed out to me that I stopped reading the
news too early.  I apologise for the noise.

> ... can't be combined on a #! line.  If this is absolutely devastating,

It is not devastating.  It is annoying.  Probably not annoying enough
to maintain a separate build of gawk, though.  I would appreciate a
single letter version of the option, but I can certainly manage
without it.

Thanks for yours and others replies!