Ferramenta para converter uma sequência de arquivos PNG numerados em um GIF animado?

Criei uma série de pequenos arquivos PNG usando o Blender e fiquei imaginando se havia uma ferramenta (de preferência nos repositórios) que os convertesse em um GIF animado.

Uma estipulação extra: a ferramenta também precisa definir a cor de fundo do GIF para uma cor especificada, pois os arquivos PNG têm um canal alfa e não quero que o GIF seja transparente.

Sim, usando imagemagicka convertferramenta s :

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

Isso pegará todos os quadros de origem e os transformará em uma imagem GIF animada. O argumento -day 20 causará um atraso de 20 centésimos de segundo entre cada quadro, e o loop 0 fará com que o gif faça um loop repetidamente.

Quanto à configuração da cor de fundo do gif, isso pode ser feito com os sinalizadores backgrounde flatten:

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

De acordo com esta pergunta do StackOverflow, você pode usar o ImageMagick ou um script Python .