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 convert
commande ImageMagick :
convert -delay 2 -loop 0 *.png animated.gif
Cependant, j'ai quelques milliers d'images et convert
utilise 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 .gif
n'est pas pris en charge, et je préfère un outil CLI.
convert -delay 2 -loop 0 0*.png animated.gif
ne convertiront que les fichiers commençant par un «0». Etc.