Beaucoup de questions demandant comment créer un gif animé à partir d'un ensemble d'images png suggèrent d'utiliser une variante de la convertcommande ImageMagick :
convert -delay 2 -loop 0 *.png animated.gif
Cependant, j'ai quelques milliers d'images et convertutilise donc toute ma mémoire, échange, puis plante. Quels logiciels alternatifs existent, qui sont plus sensibles à la mémoire? Je pourrais utiliser un autre format ouvert s'il .gifn'est pas pris en charge, et je préfère un outil CLI.
convert -delay 2 -loop 0 0*.png animated.gifne convertiront que les fichiers commençant par un «0». Etc.