Ammetto che non è farina del mio sacco ma una mera traduzione da un forum anglosassone, ma l’utilità rimane:
awk 'NR == 1 || NR % 10 == 0 || NR == '$(cat "inputfile" | wc -l) "inputfile" > "output"
Qui abbiamo che:
- “inputfile” è il file di ingresso che dobbiamo elaborare
- “output” è il file nel quale desideriamo salvare il risultato
- 10 è il numero – da variare secondo le proprie necessità – per stabilire ogni quante righe va estrapolata una riga di “inputfile”.