Não está usando sed, mas você pode tentar algo parecido com isso:
echo "10000" | xargs printf "%'d\n"
Ou uma solução que use sed aqui :
echo "2312341" | sed -r ':L;s=\b([0-9]+)([0-9]{3})\b=,=g;t L'
Eu quero inserir um separador de milhares em uma seqüência numérica com sed e este feio RE sed -e :a -e 's/\(.*[0-9]\)\(\([0-9]\{3\}\)\(,[0-9]\{3\}\)*\(\.[0-9]*\)\)/,/;ta' [filename] .
Existe uma solução mais elegante?
=============================================== ============
EDITAR
Uma coisa que omiti agora: o número pode ter um ponto decimal. Dê um exemplo:
123456.7890
Eu quero o resultado depois de separar 123.456,7890
Obrigado e cumprimentos.
Não está usando sed, mas você pode tentar algo parecido com isso:
echo "10000" | xargs printf "%'d\n"
Ou uma solução que use sed aqui :
echo "2312341" | sed -r ':L;s=\b([0-9]+)([0-9]{3})\b=,=g;t L'