L’estrazione di alcune righe da un file di testo è possibile usando il comando sed. Ad esempio, per estrarre dalla riga 5 alla riga 10 del file pippo.txt, basta digitare nel terminale:
1 |
sed -n 5,10p pippo.txt |
Per estrarre dalla riga 5 alla 10…