Many of the questions asking how to create an animated gif from a set of png images suggest to use a variant of ImageMagick's convert
command:
convert -delay 2 -loop 0 *.png animated.gif
However, I have a few thousand images and thus convert
uses up all my memory, swap, and then crashes. What alternative software exists, which is more memory-conscious? I could use another open format if .gif
is not supported, and I do prefer a CLI tool.
convert -delay 2 -loop 0 0*.png animated.gif
will convert only the files that start with a '0'. And so on.