I want to use dot instead of comma

skiabox · 10-23-2011, 03:56 PM

If I give the command: printf (%f) 25.35
I get the following error :

-bash: printf: 12.34: invalid number

If I replace 25.35 with 25,35 there is nor error.
How can I use dot instead of comma in my numbers?
Thank you.

jschiwal · 10-23-2011, 04:00 PM

Firstly, put the format string in single quotes. The shell will try to run '%f' in a subshell instead of taking it as the format string. If a comma is still expected, look at your locale settings. Some locales may use a comma instead of a decimal point.

Code:

printf '(%f)\n' 25.35
(25.350000)

skiabox · 10-23-2011, 04:16 PM

I meant "%f".I have changed the settings in my macbook pro and even did a restart but the terminal insists on using the comma for decimal separator.

SecretCode · 10-23-2011, 04:24 PM

What is your locale?

Code:

locale

skiabox · 10-23-2011, 04:27 PM

Code:

LANG="el_GR.UTF-8"
LC_COLLATE="el_GR.UTF-8"
LC_CTYPE="el_GR.UTF-8"
LC_MESSAGES="el_GR.UTF-8"
LC_MONETARY="el_GR.UTF-8"
LC_NUMERIC="el_GR.UTF-8"
LC_TIME="el_GR.UTF-8"
LC_ALL=

chrism01 · 10-23-2011, 05:26 PM

Ok; so that's a Greek locale http://docs.moodle.org/dev/Table_of_locales and according to this https://secure.wikimedia.org/wikiped...Digit_grouping Greece uses the comma as the 'decimal radix/point' https://secure.wikimedia.org/wikiped...Digit_grouping