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