Ich versuche zu entfernen, die ersten 37 Zeilen aus einer sehr, sehr großen Datei. Ich habe den Versuch gestartet, sed und awk, aber Sie scheinen zu verlangen, das kopieren der Daten in eine neue Datei. Ich bin