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).