alternativa ad head|tail?
Ciao a tutti.
Ho bisogno di isolare un certo numero di righe centrali di un file di testo:
FROM=$((...))
TO=$((...))
SIZE=$(($TO - $FROM))
| head -n $TO | tail -n $SIZE > cutfile
funziona egregiamente, ma, dato che il file di input è grande e il lavoro va
fatto per molte sezioni diverse del file di input, il tutto risulta
piuttosto lento (soprattutto quanto sta isolando sezioni che si trovano
verso il fondo del file, ovviamente). Esiste qualcosa che faccia il lavoro
di head|tail in modo più efficiente? Che ne so, una specie di comando
"middle --from $FROM --to $TO"?
Reply to: