Qual è il modo migliore per estrarre un segmento da un file di testo?

Qual è un buon modo per estrarre, ad esempio, le righe 20 -45 da un enorme file di testo. Ovviamente non interattivo!

Risposta accettata:

potresti provare:

cat textfile | head -n 45 | tail -n 26

o

cat textfile | awk "20 <= NR && NR <= 45" 

aggiornamento:

Come ha sottolineato Mahomedalid, cat non è necessario e un po' ridondante, ma fornisce un comando pulito e leggibile.

Se cat ti dà fastidio, una soluzione migliore sarebbe:

<textfile awk "20 <= NR && NR <= 45"