From: Luca Bertoncello [mailto:lucabert@lucabert.de]=20 [...] > C'e' un'altra soluzione: >=20 > cat <file> tr -d '\r' > <nuovoFile> Manca un pipe, $ cat est.txt| tr -d '\r' >estnew.txt Grazie ancora! Paolo