convert de la trousse à outils ImageMagick. Tu ne change pas seulement l’extension (à la limite on s’en fout de l’extension, ce n’est pas elle qui détermine le contenu du fichier), mais carrément le format de l’image.

--
On ne prête qu’aux riches, et on a bien raison, parce que les autres remboursent difficilement.
-+- Tristan Bernard (1866-1947) -+-

Poste le Thursday 28 April 2005 22:07:38

Est-ce que ça peut t'aider ? Je m'en sers pour redimensionner des images, et c'est bien pratique.

#!/bin/sh
for file in *.jpg ; do
convert -geometry 640x480 $file $file
done

Poste le Thursday 28 April 2005 22:47:53

merci à vous deux. je verrais tout ça lundi.
bon week end

Poste le Friday 29 April 2005 12:44:06