Per rinomare tutti i file *.JPG in *.jpg è sufficente utilizzare questo comando nella nostra shell bash:
for i in $(ls *.JPG); do echo "mv" $i `echo $i | tr "[:upper:]" "[:lower:]"` | bash; done;
La teoria è quando si sa tutto ma non funziona niente. La pratica è quando funziona tutto ma non si sa il perché. In ogni caso si finisce sempre con il coniugare la teoria con la pratica: non funziona niente e non si sa il perché
utile! grazie...!
In realtà puoi scrivere anche così:
for i in *.JPG; do
mv "$i" $(echo $i | sed 's/.JPG/.jpg/');
done;
e risparmiarti un po' di forks (evitando anche di convertire a lowecase anche il nome del file)