In aggiunta alla risposta precedente, puoi utilizzare una delle seguenti 3 soluzioni.
sed
Stampa solo le righe nell'intervallo e reindirizzale al file di output
sed -n '10,15p' file1.txt > file2.txt
combinazione testa/coda
Usa testa e coda per tagliare il file e ottenere solo l'intervallo di cui hai bisogno prima di reindirizzare l'output a un file
head -n 15 file1.txt | tail -n 6 > file2.txt
awk
Stampa solo le righe nell'intervallo e reindirizzale al file di output
awk 'NR>=10 && NR<=15' file1.txt > file2.txt
Apri quindi un terminale con una shell
sed -n '10,15p' file1.txt > file2.txt
Semplice e facile.
Se vuoi aggiungere alla fine invece di cancellare file2.txt
, usa >>
per il reindirizzamento.
sed -n '10,15p' file1.txt >> file2.txt
^^
AWK è anche un potente manipolatore di testo da riga di comando:
awk 'NR>=10 && NR<=15' file1.txt > file2.txt