#!/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/ (…)