Bonjour,
un petit script... tu as besoin que ceci soit installé : http://www.imagemagick.org/script/index.php(...)
Puis, tu colles çà dans un fichier, tu le rends exécutable, et tu mets le fichier dans le dossier où se trouvent les images.
#!/bin/sh
for I in *.png ; do
echo "Redimensionnement $I -> 48x48"
convert -filter Cubic -resize 48x48 $I $I
done
Je te laisse adapter. Là par exemple, c'était pour redimensionner des icônes format png en 48x48.
# re : redimensionner une série d'image
Posté par Fab . En réponse au message redimensionner une série d'image. Évalué à 3.
#!/bin/sh for I in *.png ; do echo "Redimensionnement $I -> 48x48" convert -filter Cubic -resize 48x48 $I $I doneJe te laisse adapter. Là par exemple, c'était pour redimensionner des icônes format png en 48x48.