Outil pour convertir une séquence de fichiers PNG numérotés en GIF animé?

J'ai créé une série de petits fichiers PNG à l'aide de Blender et je me demandais s'il y avait un outil (de préférence dans les dépôts) qui les convertirait en GIF animé.

Une condition supplémentaire: l'outil doit également pouvoir définir la couleur d'arrière-plan du GIF sur une couleur spécifiée, car les fichiers PNG ont un canal alpha et je ne veux pas que le GIF soit transparent.

Oui, en utilisant l' outil imagemagicks convert:

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

Cela prendra toutes les images source et les transformera en une seule image GIF animée. L'argument -delay 20 provoquera un retard de 20 centièmes de seconde entre chaque trame, et le -loop 0 entraînera la boucle du gif encore et encore.

Quant à la définition de la couleur d'arrière-plan pour le gif, cela peut être fait avec les drapeaux backgroundet flatten:

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

Selon cette question StackOverflow, vous pouvez utiliser ImageMagick ou un script Python .