Modificare le estensioni dei file in BASH
L'altro giorno ho dovuto modificare tutte le estensioni dei file in una cartella da JPG a jpg.
Stando su Linux mi è bastata una riga di BASH.
Volendo non serve neanche che creiate uno script.
Fate prima delle prove su file dei quali non vi importa, o su delle copie!
Aprite il terminale:
$ cd cartella
$ for file in *.JPG; do mv "$file" "${file%.JPG}.jpg"; done
Oppure, giusto per fare un esempio con estensioni completamente differenti:
$ for file in *.txt; do mv "$file" "${file%.txt}.csv"; done
Lo script itera tutti i file della cartella corrente con l'estensione che avete indicato (ad esempio .txt).
Per ogni file effettua uno spostamento il comando mv, che sostanzialmente fa il taglia/incolla.
Potete anche modificare lo script indicando una sottocartella per il salvataggio e usare il comando cp (che fa il copia/incolla).
In questo modo non toccate gli originali.
Enjoy!
linux bash mv cp
Commentami!