Re: rinominare estensione di file

[Ottavio Campana <ottavio@campana.vi.it>]

Gabriele Pongelli wrote:
> > From: Giuseppe Ciotta <giuppi@acaro.org>
> > rename 's/\.EXT/\.ext/' *.EXT
>
>
> sicuramente efficace, ma non ci ho capito nulla :D
> se serviva solo l'estensione potevi utilizzare l'altro script (for i in 
> `ls` ; do mv $i `echo $i | tr [A-Z] [a-z]` ; done ) facendo una pipe su 
> qualcosa che trovasse il punto dell'estenzione....quest'ultimo mi sembra 
> più chiaro dato che vengo dal C e lo scripting bash ancora non lo 
> mastico bene :D....

beh, se hai un solo punto puoi fare qualcosa del tipo

for i in ls` ; do mv $i `echo $i | cut -d . -f 1``echo $i | cut -d . -f 
2 | tr [A-Z] [a-z]` ; done

ah, sempre che non ci siano spazi nei nomi dei file.

> ah, ma come si fa a fare `???che combinazione di tasti è??come si chiama??

altgr  + ' = `

--
Non c'è più forza nella normalità, c'è solo monotonia.