X Zeilen einer großen Textdatei tauschen

[Tom]

Hello,

Der Server läuft unter irgendeinem Unix?
Wenn ja: benutze sed

Danke, sowas habe ich gesucht, und das ist auch noch rasend schnell, ist eigentlich nur durch die Schreibgeschwindigkeit der Festplatte begrenzt :-)

Das Problem ist eben: Textdatei.
Das bedeutet, dass die gesamte Datei einmal durchgerattert werden muss, wenn man etwas "ausschneiden" will. Da sind 4GB schon eine arge Beslastung...

Liebe Grüße aus dem schönen Oberharz

Tom vom Berg