2006
AWK Nummerierung einer Datei
Das folgende Awk-Skript nummeriert die Zeilen einer Datei und schreibt die entprechende Zahl gefolgt von einem Doppelpunkt an den Anfang jeder Zeile: (Speichern Sie bitte den Text der Linux Definition in eine Datei linux_definition.txt, wenn Sie die gleichen Ergebnisse erhalten wollen.) awk ‘{ i += 1; print i”: “$0 }’ linux_definition.txt Als Ergebnis erhält man [...]