Mattepuffo's logo
Modificare le estensioni dei file in BASH

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!


Share this Post

Commentami!