febbraio 2020

Mi è capitato il problema, nel caricare delle immagini sul mio sito, di avere l’esigenza di rinominare l’estensione di una serie di file causa l’illeggibilità. Nel dettaglio la mia fotocamera Nikon nomina i vari file con estensione .JPG ed il mio sito supporta solo quelli .jpg, jpeg, ecc. Come rinominare centinaia di immagini senza perdere centinaia di ore? Semplice, usando il terminale!!

Portiamoci nella cartella dove sono presenti le immagini, premiamo F4 per aprire il terminale e diamo il seguente comando:

ls *.JPG | while read line; do mv “$line” `echo $line | cut -f2 -d ‘ ‘`.jpg ; done

magicamente tutte le immagini avranno come estensione .jpg…..

Logicamente cambiando i parametri si possono ottenere risultati diversi e risolvere altri tipi di problemi.

 

---

I tutorial presenti in questo sito sono stati testati sul mio computer. Non rispondo di eventuali errori, perdita di dati e danni arrecati dall’uso di tali esempi. Usali a tuo rischio.

---