Как изменить формат числа (другой десятичный разделитель) с XXXXXX.XXX
на XXXXXX, XXX
, используя sed
или awk
?
Я думаю, что
s/\./,/g
должен служить тому, что вы хотите... если вы не хотите чего-то более особенного...
если у вас есть bash/ksh и т.д.
var=XXX.XXX
echo ${var/./,}
Поскольку вопрос также помечен тегом awk
:
awk 'gsub(/\./,",")||1'