[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