Linux Quicktipp: Massen-Konvertierung von GIFs zu PNGs in der Linux Konsole 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