How do I change the decimal separator in the printf command in bash?

I use the Italian localization of Cygwin, and therefore my printf command uses commas to separate floats, and won't understand dot-separated floats

$ printf "%f" 3.1415
-bash: printf: 3.1415: invalid number
0,000000

$ printf "%f" 3,1415
3,141500

This gives rise to several problems because basically everything else uses a dot to separate decimal digits.

How can I change the decimal separator from comma to dot?

bash printf locale

Edit Report

0 Answers