Tool welches Grafikdateien.....

[sokie2]

Hallo Petra!

Suche ein Tool unter Linux, welches Grafik-Dateien im JPEG-Format in der Pixelgröße skalieren und in der Dateiengröße komprimieren kann.

Wenn du einen Haufen Bilder automatisch verändern möchtest, empfehle ich dir convert aus dem ImageMagick-Paket.

Wenn du das folgende Shellskript unter beispielsweise alles_konvertieren.pl abspeicherst und dann aufrufst, dann werden alle png-Dateien im Verzeichnis in ein jpg-Bild konvertiert, mit der Qualität 75% und 100 Pixel hoch (außer es ist ganz breit, dann wird es 1000 Pixel breit und und weniger als 100 Pixel hoch).
Eignet sich sehr gut für Thumpnails.
Alternativ könntest du auch -geometry 50% angeben, dann sind alle Bilder nachher nur noch halb so groß.
=> man convert

Gruß, sokie2

#!/bin/bash
for bild in *.png; do
  ziel=echo $bild | sed s/.png/.jpg/
  convert $bild -quality 75% -geometry 1000x100 tn_$ziel
done