domanda veloce cui non riesco a trovare la risposta su google: come posso
sostituire un singolo newline con un doppio newline? nella fattispecie,
perchè il comando
cat file_da_modificare | sed -e 's/\n/\n\n/g' > nuovo_file
non funge?
Tnx all...
Franco