12
Agregar separador de miles en un número
En pitón re.sub(r"(?<=.)(?=(?:...)+$)", ",", stroke ) Para dividir un número por trillizos, por ejemplo: echo 123456789 | python -c 'import sys;import re; print re.sub(r"(?<=.)(?=(?:...)+$)", ",", sys.stdin.read());' 123,456,789 ¿Cómo hacer lo mismo con bash / awk?