Je veux convertir un lot d'images, près de 100, du format jpg au format png. Comment puis-je faire cela sans les renommer, mais plutôt convertir le format?
Essayez ces commandes,
mogrify -format png /path/*.jpg
Cela convertira tous les fichiers .jpg en fichiers .png et enregistre les fichiers convertis dans le même répertoire.
mv /path/*.png ~/Desktop/pic
Cela déplacera tous les fichiers .png (convertis) vers le répertoire pic qui réside sur le bureau.
Utiliser ImageMagick .
Installez d'abord imagemagick:
sudo apt-get install imagemagick
Essayez de convertir une seule image au début:
convert image.jpg image.png
Maintenant, convertissez tout:
mogrify -format png *.jpg
EDIT
Vous devez également le diviser en morceaux qui vous permettront de ne pas dépasser la limite de la ligne de commande. Cela devrait fonctionner mieux:
find -name '*.jpg' -print0 | xargs -0 -r mogrify -format png
Les -print0 et -0 sont utilisés pour gérer les espaces dans les noms de fichiers et les -r signifie ne pas exécuter mogrify s'il n'y a rien à faire.
Source: lien
EDIT 2 Le png et le jpg ont changé selon le commentaire de @ Glutanimate.
EDIT 3 Le png a changé en jpg dans la dernière suggestion.
Je sais que cela fait longtemps que cette question n'a pas été posée, mais il y a un logiciel génial qui n'a pas été mentionné et que j'ai beaucoup utilisé.
lien , également connu sous le nom de Phatch. Il convertit littéralement n'importe quoi de n'importe quoi à n'importe quoi d'autre en termes d'image. Il n'a pas été mis à jour depuis un moment mais prétend maintenant être disponible pour Ubuntu 17.10. Essaie. Je suis convaincu que vous en serez très heureux.