No subject


Fri Nov 30 21:44:40 UTC 2007


gives a result of 360.  It damn well should, because the decimal
separator here is a comma, not a period!

If I, however, type echo 60 6,510417e-05 | awk '{print ($1*$2)}', the
result given is 0,00390625, as it should.  Note the comma.

The same thing applies even more to dates, of course.  Awk is very
locale-conscious, which is a very good thing.  These problems seem to
be commoner in EU as some of us use US locale for some or other reason
and some of us use the country-specific locale: decimal separators,
sort order, date and currency formatsare all affected.



HTH,
Eeva

-- 
Secretum meum mihi.


More information about the Programming mailing list