curl
respeta la configuración regional del usuario, por lo que usa la coma como separador decimal si el sistema así está configurado (por ejemplo, si el sistema tiene la configuración es_ES.UTF-8
).
Se me ocurren dos posibles soluciones al problema.
1. Usa una configuración regional que use el punto como separador decimal
La configuracióń regional encargada de la representación de números se establece mediante la variable de entorno LC_NUMERIC
. Puedes cambiar temporalmente el entorno de un comando usando env
(ejemplo: env VARIABLE='valor' comando
) o añadiendo la asignación antes del comando (ejemplo: VARIABLE='valor' comando
).
En las configuraciones regionales C
y POSIX
se usa el punto como separador decimal. Estas configuraciones las encontrarás en todos los sistemas adherentes a la norma POSIX.
Algunos sistemas también ofrecen la configuración C.UTF-8
, la cual es similar a las anteriores pero agrega soporte a Unicode mediante la codificación UTF-8.
$ LC_NUMERIC='C' curl -o '/dev/null' -s -w '%{time_total}' 'https://www.example.com/'
0.090306
$ LC_NUMERIC='POSIX' curl -o '/dev/null' -s -w '%{time_total}' 'https://www.example.com/'
0.072698
$ LC_NUMERIC='C.UTF-8' curl -o '/dev/null' -s -w '%{time_total}' 'https://www.example.com/'
0.080962
También puedes usar la configuración regional de un país e idioma que usen el punto como separador decimal, como en_US.UTF-8
o es_MX.UTF-8
.
$ LC_NUMERIC='en_US.UTF-8' curl -o '/dev/null' -s -w '%{time_total}' 'https://www.example.com/'
0.074008
$ LC_NUMERIC='es_MX.UTF-8' curl -o '/dev/null' -s -w '%{time_total}' 'https://www.example.com/'
0.078321
2. Reemplaza la coma por el punto
Para esto, puedes usar una expansión de parámetro o sed
:
var="$(comando)"
var="${var/,/.}"
var="$(comando)"
var="$(sed 's/,/./' <<< "${var}")"
locale
?en.wikipedia.org/wiki/Decimal_separator