Narzędzie do konwertowania sekwencji ponumerowanych plików PNG na animowany plik GIF?

Za pomocą Blendera stworzyłem serię małych plików PNG i zastanawiałem się, czy istnieje narzędzie (najlepiej w repozytoriach), które przekształci je w animowany plik GIF.

Jeden dodatkowy warunek: narzędzie musi także móc ustawić kolor tła GIF na określony kolor, ponieważ pliki PNG mają kanał alfa i nie chcę, aby GIF był przezroczysty.

Tak, używając narzędzia imagemagicks convert:

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

Spowoduje to zabranie wszystkich ramek źródłowych i przekształcenie ich w jeden animowany obraz GIF. Argument -delay 20 spowoduje 20-setne sekundy opóźnienia między każdą ramką, a -loop 0 spowoduje, że gif będzie się zapętlać w kółko.

Jeśli chodzi o ustawianie koloru tła dla gif, można to zrobić za pomocą flag backgroundi flatten:

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

Zgodnie z tym pytaniem StackOverflow możesz użyć ImageMagick lub skryptu Python .