Great notes on this blog: How to create GIFs with FFmpeg
Rename all of the target images to have a sequential naming scheme.
a=1; for i in *.png; do new=$(printf "%04d.png" "$a"); mv -i -- "$i" "$new"; let a=a+1; doneconvert -delay 10 -loop 0 *.png output.gifffmpeg -i %04d.png output.gifmagick -density 600 file.pdf file_frame%02d.pngmagick -delay 50 -loop 0 file_frame*.png out.gifWhen there are a large amount of high quality images, it mya be more efficient to create a video instead.