Cambiare estensione ai files in Linux

Ieri avevo la necessità di cambiare l'estensione di file da .JPG a .jpg sulla mia macchina con Linux..

Girovagando, ho trovato una semplice riga di comando che fa questo in automatico.

Dovrebbe funzionare anche in macOS.

Ovviamente state attenti a cambiare le estensioni: alcuni cambiamenti potrebbero rendere illegibile il file (ad esempio da PDF a XLS).

Questa è una procedura semplice, che non tiene conto della struttura dei files che va a scorrere.

La sintassi è questa:

for i in `ls`; do mv $i `echo $i | sed s/INIZIALE/FINALE/g`;done

Quindi, nel mio caso:

for i in `ls`; do mv $i `echo $i | sed s/JPG/jpg/g`;done

In pratica scorriamo i files estratti con il comando ls; per ogni file, eseguiamo la rinomina prendendo in considerazione solo l'estensione.

Quest'ultima la ricaviamo con sed.

Enjoy!