¿Herramienta para convertir una secuencia de archivos PNG numerados a un GIF animado?

Creé una serie de pequeños archivos PNG con Blender y me preguntaba si había una herramienta (preferiblemente en los repositorios) que los convertiría en un GIF animado.

Una estipulación adicional: la herramienta también debe poder establecer el color de fondo del GIF en un color específico ya que los archivos PNG tienen un canal alfa y no quiero que el GIF sea transparente.

Sí, usando imagemagickla convertherramienta s :

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

Esto tomará todos los marcos de origen y los convertirá en una imagen GIF animada. El argumento -delay 20 causará un retraso de 20 centésimas de segundo entre cada cuadro, y el -loop 0 hará que el gif se repita una y otra vez.

En cuanto a la configuración del color de fondo para el gif, eso se puede hacer con las banderas backgroundy flatten:

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

De acuerdo con esta pregunta de StackOverflow , puede usar ImageMagick o un script de Python .