R: R: [Pluto-devel] Come trasformare il "." in ":"?

Davide Salerno pluto-devel@lists.pluto.linux.it
Wed, 20 Nov 2002 13:29:17 +0100


:>=20
Ottimo
Grassie.

-----Messaggio originale-----
Da: pluto-devel-admin@lists.pluto.linux.it
[mailto:pluto-devel-admin@lists.pluto.linux.it] Per conto di Germano
Rizzo
Inviato: mercoled=EC 20 novembre 2002 13.18
A: pluto-devel@lists.pluto.linux.it
Oggetto: Re: R: [Pluto-devel] Come trasformare il "." in ":"?

> echo $nome > pippo
> E ho fatto il sed di $pippo=20
> e tutto funziona!!!
	Basta mandarlo direttamente in pipe:

echo "oppop.popopo"|sed -e "s/\./:/"=20

	Mano :)

--=20
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Germano Rizzo - mano@pluto.linux.it
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Pluto FSUG member - www.pluto.linux.it
Linux Registered User #120637
PGP/GPG Public Key at
  http://gnomermind.sf.net/pubkey.txt
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
An rud is annamh is iontach
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~