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