Accueil du site > Programmation > Conversion en bloc JPG vers PPM

Conversion en bloc JPG vers PPM

mardi 27 décembre 2005

Il m’était nécessaire récemment d’effectuer une conversion en masse de plusieurs fichiers JPG vers le format PPM binarisé. Bien que le PPM ne soit pas apte du tout à l’économie d’espace disque, ce format offre l’avantage de pouvoir être travaillé facilement à partir de tout programme [1].

Étant situé dans le répertoire contenant toutes les images en format JPG, il suffit d’exécuter le script suivant pour les convertir en PPM en conservant le nom d’origine.

#! /bin/sh
for jpg in *.JPG
do
convert $jpg `basename $jpg .JPG`.ppm
done

Ces quelques lignes peuvent être modifiables pour d’autres types de fichiers. Consultez le site d’ImageMagick pour connaître tous les formats supportés.

Voir en ligne : ImageMagick - convert

Notes

[1] Voir l’article Conversion d’images couleur en niveaux de gris