nicht angemeldet
Weiter als zu dieser Erkenntnis kam ich leicher noch nicht:
convert -resize 400 foo.gif bar.gif
aber hier muss man für jede Datei die Anweisung manuell durchführen :/
Um das ganze kannst Du ja noch eine for-Schleife
schreiben. In der bash-shell geht das z. B. so (in einer Zeile):
for i in *.gif; do echo "converting $i"; convert -resize 400 $i tmp.gif; rm $i; mv tmp.gif $i; done
Wichtig dabei ist natürlich, dass keine Deiner Dateien
'tmp.gif' heißt...
MfG
Andreas