Facile. Installa imagemagick :
sudo apt-get install imagemagick
Il suo utilizzo più semplice è:
convert File.tif File.jpg
È intelligente e va dalla tua estensione di file.
Ora, per fare conversioni batch, dovremo usare un loop.
cd nella directory in cui si trovano i tuoi file tif.
poi:
for f in *.tif; do echo "Converting $f"; convert "$f" "$(basename "$f" .tif).jpg"; done
Leggi anche come:
for f in *.tif
do
echo "Converting $f"
convert "$f" "$(basename "$f" .tif).jpg"
done
Questo dovrebbe farlo!
Inoltre, una volta convertiti tutti i file e verificato l'integrità del nuovo jpg, esegui semplicemente rm *.tif
quella directory per eliminare tutti i tuoi vecchi file .tif. Fai attenzione agli asterischi, non aggiungere uno spazio dopo il *
o eliminerai tutti i tuoi file nella directory.
Suggerimento: se hai una cartella con sottocartelle che contiene queste immagini. Puoi usarlo per loop per trovare tutti i file .TIF all'interno di quella cartella:
for f in $(find -name *.tif); do ...; done
Converting filename.tif
oConverting filename
?