awk Zahl formatieren

[tuxfreund]

Hallo,
ich möchte eine Textdatei verändern. Sie hat die Form Nummer;Spiel;Sprache;Prüfsumme. Wie kann ich jetzt das Nummernfeld in eine 4stellige Zahl konvertieren? Beispiel: 0013
Gruss

[uname]

Leider habe ich auch wenig Ahnung von "awk". Scheint aber zu funktionieren. Die Ausgabe musst du dann noch kopieren. Irgendwie kann man auch Dateien direkt ändern, wäre nur etwas gefährlich

Code: Alles auswählen

awk -F';' '{printf "%06d;%s;%s;%s\n", $1,$2,$3,$4}' datei.txt

[Meillo]

Leider habe ich auch wenig Ahnung von "awk". Scheint aber zu funktionieren.

Sieht auch gut aus.

Irgendwie kann man auch Dateien direkt ändern, wäre nur etwas gefährlich

In awk auf herkoemmliche Weise nicht. (Bei sed mit dem unportablen `-i' schon.) Was gehen wuerde ist die Datei komplett einlesen und dann zum Schreiben neu oeffnen. Oder halt aus awk raus Shellbefehle absetzen. Beides ist nicht zu empfehlen. Dann bastel lieber ein Shellscript aussen rum.

[tuxfreund]

Danke. Das funktioniert. (%04d). Habe dann Ausgabe in neue Datei gelenkt.