Facile. Installez imagemagick :
sudo apt install imagemagick
Son utilisation la plus simple est :
convert File.tif File.jpg
Il est intelligent et se base sur l'extension de votre fichier.
Maintenant, pour effectuer des conversions par lots, nous allons utiliser une boucle.
cd
dans le répertoire où se trouvent vos fichiers tif.
alors :
for f in *.tif; do echo "Converting $f"; convert "$f" "$(basename "$f" .tif).jpg"; done
Lire aussi comme :
for f in *.tif
do
echo "Converting $f"
convert "$f" "$(basename "$f" .tif).jpg"
done
Ça devrait le faire !
De plus, une fois que vous avez converti tous les fichiers et vérifié l'intégrité du nouveau fichier jpg, exécutez simplement rm *.tif
dans ce répertoire pour supprimer tous vos anciens fichiers .tif. Faites attention aux astérisques, n'ajoutez pas d'espace après l'élément *
ou vous effacerez tous vos fichiers dans le répertoire.
Conseil : si vous avez un dossier avec des sous-dossiers qui contient ces images. Vous pouvez utiliser ce boucle for pour trouver tous les fichiers .TIF dans ce dossier :
for f in $(find -name *.tif); do ...; done