Alle 08:22, marted� 26 agosto 2003, Arwan ha scritto: > Deve aver avuto molto sonno, perche' il marted� 26 agosto 2003, alle 00:23, Tommaso ha scritto: > > ho provato a togliere il carattere di fine riga (\n) con gedit e tutto � > > funzionato a meraviglia. Non so se altri editor da linea di comando > > siano cos� bravi. > > Ho provato a usare gedit, che non conosco, ma non l'ho installato > (almeno, mi dice command not found, figurarsi poi avere il man...). > Indago e poi provo, cmq mi puoi scrivere il comando preciso? > Da quel che mi dici ho la conferma che \n e' il carattere di fine > riga, con sed la sostituizione non e' avvenuta :-( > > Arwan
Nella barra delle applicazioni trovi l'icona "Sostituisci". Ti si apre una finestrella in cui devi dire cosa cercare e con cosa sostituirlo. Naturalmente gedit gira sotto X11 (� una parte di gnome)... Ciao, Tommaso
