12
Adicionar separador de milhares em um número
Em python re.sub(r"(?<=.)(?=(?:...)+$)", ",", stroke ) Para dividir um número por trigêmeos, por exemplo: echo 123456789 | python -c 'import sys;import re; print re.sub(r"(?<=.)(?=(?:...)+$)", ",", sys.stdin.read());' 123,456,789 Como fazer o mesmo com o bash / awk?