8 Jul
2018
8 Jul
'18
17:39
On 2018-07-08 19:04, Anton Aylward wrote:
On 08/07/18 04:16 AM, Per Jessen wrote:
Yes, the locale is important, but I assume Anton was using a period as decimal separator too.
The point Anton was making, it would appear, is that the BASH shell does not handle floating point number. Even if your locale uses commas as the decimal separator.
Whereas the old Korn shell from 25 years ago does.
Not entirely exact. printf is a bash builtin, and it prints floats. :-) Yap, I know, no float math natively. -- Cheers / Saludos, Carlos E. R. (from 42.3 x86_64 "Malachite" at Telcontar)