Da .MP3 a .mp3

Salve!

Ogni tanto ritorno. E ritorno per raccontarvi di un problema di poco conto. Forse.
Avevo alcuni  file MP3 con le estensioni in maiuscolo. Per convertirle in minuscolo in un solo colpo, ho creato un piccolo e semplice script.


La situazione era la seguente:

Lo script:

#!/bin/bash
for i in *.MP3;do
mv "$i" "$(basename "$i" .MP3)".mp3;
done
exit 0

Posto che i file  siano contenuti nella cartella "Musica", come nel mio caso, bisognerà salvare lo script, che ho nominato convest.sh, in questa cartella.

Poi, da terminale, rendiamolo eseguibile,

$ cd Musica

$ chmod +x convest.sh

ed eseguiamolo

$ ./convest.sh

Ecco il risultato:

Alla prossima! :)