[Soci SLIP] rinominare molti file in gnome
Lucio Crusca
lucio a sulweb.org
Mer 24 Dic 2008 11:22:50 CET
Il Wednesday 24 December 2008 11:12:43 Lucio Crusca ha scritto:
> $ rename 's/\.tar.gz$/.tgz/' *.tar.gz
mi correggo, per essere precisi serve una \ in più (anche se nella maggior
parte dei casi il comando precedente funziona comunque):
$ rename 's/\.tar\.gz$/.tgz/' *.tar.gz
questo perché il carattere punto (.) nella stringa di ricerca
significa "qualsiasi carattere", un po' come il ? nei nomi di files, quindi
per farlo significare esattamente "il carattere punto", bisogna anteporgli
una \ (il bello delle espressioni regolari...)
Lucio.
P.S. Compiti per le vacanze: per esercizio per la notte di capodanno, durante
la solita tombola (quest'anno magari con l'eeepc sulle gambe) vi lascio
pensare a quali sono i casi in cui il primo comando avrebbe fatto la cosa
sbagliata... poi a gennaio vi interrogo :D
Maggiori informazioni sulla lista
Soci