Alat untuk mengonversi urutan file PNG bernomor ke GIF animasi?

Saya telah membuat serangkaian file PNG kecil menggunakan Blender dan saya bertanya-tanya apakah ada alat (terutama di repos.) Yang akan mengubahnya menjadi animasi GIF.

Satu ketentuan tambahan: alat ini juga harus dapat mengatur warna latar belakang GIF ke warna tertentu karena file PNG memiliki saluran alfa dan saya tidak ingin GIF transparan.

Ya, menggunakan alat imagemagicks convert:

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

Ini akan mengambil semua frame sumber dan akan membuatnya menjadi satu gambar GIF animasi. Argumen -delay 20 akan menyebabkan penundaan 20/100 detik antara setiap frame, dan -loop 0 akan menyebabkan gif berulang-ulang.

Adapun pengaturan warna latar belakang untuk gif, yang dapat dilakukan dengan backgrounddan flattenbendera:

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

Menurut Pertanyaan StackOverflow ini Anda dapat menggunakan ImageMagick atau skrip Python .