Ich muss eine Datenspalte aus einer sehr großen Datei >100 GB extrahieren.
Ich weiß, wie man dies mit den Befehlen awk
und cut
macht, würde aber gern wissen, ob einer davon (im Hinblick auf die Geschwindigkeit) für eine derartige Aufgabe effizienter ist.