Redimension en masse d'image

En bash, en une ligne (nécessite imagemagick):

for i in *JPG; do convert -resize 640x480 $i MINI_$i; done