How to change the decimal separator with awk/sed?

Asked 2010-08-09T10:11:36.210

How to change number format (different decimal separator) from XXXXXX.XXX to XXXXXX,XXX using sed or awk?

sed awk

Edit Report

1 Answer

if you have bash/ksh etc

var=XXX.XXX
echo ${var/./,}

answered 2010-08-09T10:41:11.283