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.