#!/bin/bash if [ $# -lt 4 ] ; then echo "Utilisation :" echo "$0 source dest extension_origine extension_voulu [\"options_convert\"]"; else SRC="$1/" DST="$2/" SRCFORMAT="$3" DSTFORMAT="$4" OPT="$5" for i in `ls $SRC` ; do NAME=`basename $SRC/$i .$SRCFORMAT` convert "$SRC/$i" $OPT "$DST/$NAME.$DSTFORMAT"; done; fiexemple d'utilisation :
./convert.sh ico/ png/ ico png
permet de convertir toutes les images au format .ico du repertoire ico/ dans le repertoire png/ au format png.
./convert.sh ico/ png/ ico png "-resize 24x24"
meme chose qu'au dessus mais change la taille des images en plus (les guillements sont nécessaires)
# Et tout ca grace à ...
Posté par Ju. . Évalué à 4.
sudo apt-get install imagemagick
http://www.imagemagick.org/(...)
[^] # Re: Et tout ca grace à ...
Posté par jaroug (site web personnel) . Évalué à 1.
# Mogrify
Posté par bacchus . Évalué à 1.
Ca fait partie des outils d'ImageMagick comme montage et compagnie. Les options sont à peu près les mêmes que celles pour convert.
Tout est dans le man.
# autre solution
Posté par henri lelong . Évalué à 1.
convert $i ${i%.*}.jpg
% enleve la plus petite partie a droite de l'expression reguliere qui suit
# aurait enleve la plus petite partie a gauche.
(si jpg est la nouvelle extension, a mettre event. dans une boucle)
[^] # Re: autre solution
Posté par Obsidian . Évalué à 2.
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.