Bilddateien konvertieren unter Linux

Bilddateien konvertieren unter Linux von einem Format ins andere ist eine recht bequeme Sache mittels Imagemagic unter etwas Kenntisse der Bash. Im Zuge der extensiven Benutzung von Pencil hatte ich festegestellt, das es kaum verwertbare Netzwerksymbole gibt. Diese kann man sich aber u.a. von Cisco als EPS herunterladen. Um diese mit Pencil brauchbar zu verwenden, Pencil erkennt EPS Dateien nicht musste ich diese ins PNG Format umwandeln. Da das ca 300 Bilder sind war ich auf der Suche nach einer eleganten Lösung. Am schnellsten sollte das gelingen, dachte ich mir, mit einem kleinen bash-Script und dem convert-Kommando aus dem ImageMagick-Paket.

convert bild01.eps bild01.webp

erzeugt aus

die neue Datei

```bild01.webp```

. Die for Schleife erledigt das für alle Bilder mit der Endung .eps im aktuellen Verzeichnis. Die Zuweisung

```pngfile=...```

entfernt aus dem ursprünglichen Dateinamen die Endung .eps und fügt stattdessen .webp hinzu. Zuvor muss man allerdings die Leerzeichen in den Dateinamen entfernen. Das bewerkstelligen wir mit rename, wobei die Syntax

```'s/ /_/g'```

alle Leerzeichen in allen Dateinamen durch einen Unterstrich ersetzt.

#!/bin/bash rename -v ‘s/ /_/g’ *eps for filename in *.eps; do pngfile=${filename%.eps}.webp echo “verarbeite $filename $pngfile” convert $filename $pngfile done `