sed

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:

Per estrarre dalla riga 5 alla 10…

E’ possibile rimuovere al volo una riga da un file, usando il comdo sed. Se, ad esempio, bisogna eliminare la riga 30 dal file pippo.txt, basterà digitare:

enjoy