Tool zum Konvertieren einer Sequenz nummerierter PNG-Dateien in ein animiertes GIF?

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.

Ja, mit dem imagemagicks- convertTool:

convert   -delay 20   -loop 0   frame*.png   animated.gif

Dies nimmt alle Quellbilder auf und macht sie zu einem animierten GIF-Bild. Das Argument -delay 20 bewirkt eine Verzögerung von 20 Hundertstelsekunden zwischen jedem Frame, und die Schleife 0 bewirkt, dass sich das GIF immer wieder wiederholt.

Was das Einstellen der Hintergrundfarbe für das GIF angeht, kann dies mit den Flags backgroundund erfolgen flatten:

convert -delay 20 -loop 0 frame*.png -background white -flatten animated.gif

Entsprechend dieser StackOverflow-Frage können Sie ImageMagick oder ein Python-Skript verwenden .