Il giorno Mon, 27 May 2002 11:10:46 +0200 /dev/null <[EMAIL PROTECTED]> ha scritto:
> inoltre, "cat file | sed" e` perfettamente inutile: va benissimo > $ sed -e s/ciao/miao/g -e s/buongiorno/buonasera/g file > nuovofile > od anche > $ sed -e s/ciao/miao/g -e s/buongiorno/buonasera/g < file > nuovofile > (stabilire la differenza tra queste ultime due e` lasciato come esercizio > per il lettore :-) -- `man bash`). > > Cosi`, anziche' eseguire tre programmi (cat, sed, sed) ne lanci uno solo. bellissimo!!! :-) dovr� rivedere un po'di script adesso... ciao, MaX -- Massimo Biffi LocTeam Barcelona - Spain Debian/Sid on PowerBook Apple G3 Home: www.maximumdebian.org -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
