Ich hatte einmal den Fall, dass ich in einer Linux-Umgebung kurzfristig eine ganze Reihe von GIF-Dateien in PNGs umwandeln musste. Da ich vermeiden wollte, jede einzelne Datei in GIMP reinzuladen, suchte ich nach anderen Möglichkeiten und stieß dabei auf das Linux-Tool convert. Das bei