Hallo, ich möchte in einem Verzeichnis alle *.gif in *.png umformatieren. Für eine einzelne Datei bekomme ich das hin: giftopnm bild.gif > bild.pnm pnmtopng -compression 9 bild.pnm > bild.png Wie mache ich das für alle *.gif? Thanks, Alexander