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

Commentami!

About Mattepuffo.com

Blog dedicato all'informatica e alla programmazione!
Tutti i contenuti di questo blog, tranne casi particolari, sono sotto licenza Licenza Creative Commons Creative Commons Attribution-Noncommercial-Share Alike 2.5. .

2707 articoli
310 commenti
21 progetti
Altri link
  • About
  • Scrivimi
  • Copyright
  • Sitemap
  • matteo.ferrone@yahoo.it
  • GitHub
  • Privacy Policy