Как изменить десятичный разделитель с помощью awk / sed?

Как изменить формат числа (другой десятичный разделитель) с XXXXXX.XXX на XXXXXX, XXX , используя sed или awk ?

10
задан Braiam 22 August 2015 в 02:22
поделиться

4 ответа

Я думаю, что

s/\./,/g

должен служить тому, что вы хотите... если вы не хотите чего-то более особенного...

1
ответ дан 3 December 2019 в 16:08
поделиться

если у вас есть bash/ksh и т.д.

var=XXX.XXX
echo ${var/./,}
1
ответ дан 3 December 2019 в 16:08
поделиться

Вы можете сделать так:

echo "XXX.XX" | sed s/\./,/g
1
ответ дан 3 December 2019 в 16:08
поделиться

Поскольку вопрос также помечен тегом awk :

awk 'gsub(/\./,",")||1'
0
ответ дан 3 December 2019 в 16:08
поделиться
Другие вопросы по тегам:

Похожие вопросы: