Ergänzend zur vorherigen Antwort können Sie eine der folgenden 3 Lösungen verwenden.
gesendet
Nur die Zeilen im Bereich drucken und in die Ausgabedatei umleiten
sed -n '10,15p' file1.txt > file2.txt
Kopf/Schwanz-Kombination
Verwenden Sie Head und Tail, um die Datei zu schneiden und nur den Bereich zu erhalten, den Sie benötigen, bevor Sie die Ausgabe in eine Datei umleiten
head -n 15 file1.txt | tail -n 6 > file2.txt
awk
Nur die Zeilen im Bereich drucken und in die Ausgabedatei umleiten
awk 'NR>=10 && NR<=15' file1.txt > file2.txt
Öffnen Sie dann ein Terminal mit einer Shell
sed -n '10,15p' file1.txt > file2.txt
Einfach &leicht.
Wenn Sie an das Ende anhängen möchten, anstatt file2.txt
zu löschen , verwenden Sie >>
zur Weiterleitung.
sed -n '10,15p' file1.txt >> file2.txt
^^
AWK ist auch ein leistungsfähiger Befehlszeilen-Textmanipulator:
awk 'NR>=10 && NR<=15' file1.txt > file2.txt