Francesco Romani wrote:
AWK, direi. Andando a memoria: awk "NR >= $FROM && NR <= $TO" FILE
Tocca studiarsi pure awk!
C'e' da dire pero' che in questo modo si legge comunque tutto
il file, anche nel caso in cui le righe da selezionare siano subito
all'inizio. Questo dovrebbe ovviare:
awk "{ if (NR <= $TO) { if (NR > $FROM) print } else { exit } }" filediinput
Nel caso di estrazioni di piu' parti di file, sarebbe opportuno
farsi un piccolo algoritmo per ordinare inizio e fine di ogni
porzione, poi estrarre tutto con una lettura unica.
Buon lavoro...
Cristian