Modificare le estensioni dei file in BASH

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!


Condividi

Commentami!