Gut lesbar ist es in AWK. Die Formatierung des printf-Befehls ist wie in Posix-C üblich, also sorgt das Apostroph bei %'d
für ein Tausender-Trennzeichen bei der printf-Ausgabe. Die Eingabedatei.txt
enthalte pro Zeile eine Zahl ohne Tausendertrennung:
Im Terminal als AWK-Einzeiler aufgerufen, müssen wir das printf-Apostroph als ESC-Sequenz \47
schreiben:
gawk '{ printf "%\47d \n", $0 }' Eingabedatei.txt
Oder das Ergebnis statt auf dem Bildschirm ausgeben in Datei umleiten:
gawk '{ printf "%\47d \n", $0 }' Eingabedatei.txt > Ausgabedatei.txt
Beim Benutzen einer AWK-Skriptdatei entfiele die ESC-Sequenz. Datei tausender.awk
anlegen mit der Zeile:
{ printf "%'d \n", $0 }
Und dann im Terminal aufrufen:
gawk --file tausender.awk Eingabedatei.txt > Ausgabedatei.txt
P.S. Leerstelle vor dem Neuzeilenzeichen \n
ist jeweils unnötig, macht das Ganze jedoch lesbarer.