一連の番号付きPNGファイルをアニメーションGIFに変換するツール？

Blenderを使用して一連の小さなPNGファイルを作成しましたが、それらをアニメーションGIFに変換するツール（できればリポジトリ内）があるかどうか疑問に思いました。

余分な規定：PNGファイルにはアルファチャネルがあり、GIFを透明にしたくないため、ツールはGIFの背景色を指定された色に設定できる必要があります。

はい、imagemagicks convertツールを使用します：

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

これにより、すべてのソースフレームが取得され、1つのアニメーションGIFイメージになります。-delay 20引数は、各フレーム間に20分の1秒の遅延を引き起こし、-loop 0はgifを繰り返しループさせます。

gifの背景色の設定に関しては、backgroundand flattenフラグでできます：

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

このStackOverflowの質問によると、ImageMagickまたはPythonスクリプトを使用できます。