tool_operate: override the numeric locale and set "C" by force

Makes curl always use dot as decimal separator for options,
independently of what the locale says. Makes scripts and command lines
portable.

Updated docs accordingly.

Reported-by: Daniel Faust

Fixes #9969
Closes #9972
This commit is contained in:
Daniel Stenberg 2022-11-23 11:24:26 +01:00
parent cde8f28489
commit 975efec61b
No known key found for this signature in database
GPG key ID: 5CC908FDB71E12C2
4 changed files with 11 additions and 1 deletions

View file

@ -14,3 +14,6 @@ Maximum time in seconds that you allow curl's connection to take. This only
limits the connection phase, so if curl connects within the given period it
will continue - if not it will exit. Since version 7.32.0, this option
accepts decimal values.
The decimal value needs to provided using a dot (.) as decimal separator - not
the local version even if it might be using another separator.