Ich habe eine Reihe kleiner PNG-Dateien mit Blender erstellt und mich gefragt, ob es ein Tool (vorzugsweise in den Repos) gibt, das sie in ein animiertes GIF konvertiert.
Eine zusätzliche Bedingung: Das Tool muss auch in der Lage sein, die Hintergrundfarbe des GIF auf eine bestimmte Farbe einzustellen, da die PNG-Dateien einen Alphakanal haben und das GIF nicht transparent sein soll.