Hi,
Weiter als zu dieser Erkenntnis kam ich leicher noch nicht:
convert -resize 400 foo.gif bar.gif
Du nutzt also offenbar ImageMagick.
aber hier muss man für jede Datei die Anweisung manuell durchführen :/
ImageMagick kennt weitere Kommandos wie bspw. mogrify, mit denen man bspw. auch alle Bilder in einem Verzeichnis bearbeiten lassen kann.
Beispiel zur Anwendung: http://www.imagemagick.org/Usage/thumbnails/#creation
MfG ChrisB