Es ist zwar nichts besonderes, aber jedes Mal muss ich wieder nachschauen wie es geht: alle Bilder in einem Verzeichnis auf die Hälfte verkleinern oder sonstwie umwandeln. Mit Linux ist das unter Verwendung von ImageMagick mit dem Tool convert natürlich ganz einfach:

convert <datei1> -resize 50% <datei2>

Und damit das für jede Datei im aktuellen Verzeichnis gemacht wird, verwenden wir die for-Schleife der Bash:

for i in *.JPG ; do convert $i -resize 50% result/$i ; done

Natürlich muss vorher das Unterverzeichnis result erstellt oder eben ein anderer Zielpfad angegeben werden.