Conversion en masse d'images d'un format à un autre ?

Utilisation d'ImageMagick .

Installez d'abord imagemagick :

sudo apt-get install imagemagick

Essayez d'abord de convertir une seule image :

convert image.jpg image.png

Maintenant, convertissez tout :

mogrify -format png *.jpg

EDIT

Vous devez également le diviser en morceaux pour éviter de vous heurter à la limite de ce que vous pouvez mettre sur une ligne de commande. Cela devrait mieux fonctionner :

find -name '*.jpg' -print0 | xargs -0 -r mogrify -format png

Le site -print0 y -0 sont utilisées pour gérer les espaces dans les noms de fichiers et les options -r signifie qu'il ne faut pas lancer mogrify s'il n'y a rien à faire.

Fuente: https://stackoverflow.com/questions/1010261/running-a-batch-with-imagemagick

EDIT 2 J'ai échangé les png et jpg selon le commentaire de @Glutanimate.

EDIT 3 J'ai changé le png en jpg dans la dernière suggestion.

Premièrement, la conversion fonctionne. Vous n'avez pas besoin de le tester. Deuxièmement, un oneliner bash répond au besoin :

$ for file in Ground*jpg; do { \
  echo "Converting $file to `echo $file|cut -d. -f1`.png" ;\
  convert $file `echo $file|cut -d. -f1`.png ; } done

Rockin 'it auldskewl ;)

Cheers

Je sais que cela fait longtemps que cette question n'a pas été posée, mais il y a un logiciel brillant qui n'a pas été mentionné et que j'ai beaucoup utilisé.

http://photobatch.wikidot.com/ aussi connu sous le nom de Phatch. Il convertit littéralement n'importe quoi de n'importe quoi en n'importe quoi d'autre en termes d'image. Il n'a pas été mis à jour depuis un certain temps, mais il est maintenant disponible pour ubuntu 17.10. Essayez-le. Je suis sûr que vous serez très heureux avec lui.