How to create an animated GIF from a video file
This is a note-to-future-self-how-to-do-things…
Creating a good looking gif-animation from a video via the command line is fairly easy once you know how to do it…
You need ffmpeg and the convert tool from ImageMagick.
Let’s say you have a video file named video.mp4, then this creates a bunch of single frame PNGs with a width of 320 pixels and a proportional height in the current directory:
ffmpeg -i video.mp4 -vf scale=320:-1 -r 10 frame%03d.png
The -r option sets the framerate. In the example we used 10. So if the source framerate was 30, then every third frame will be rendered as a PNG.
Now we use the convert tool from ImageMagick to convert the PNG files into an animated gif:
convert -delay 10 -loop 0 frame*.png output.gif
The -delay option defines how many 1/100 seconds each frame should be delayed. If you set the frame rate to 10 when exporting the PNGs, you should set the delay to 1/10 of a second = to 10. This setting in the final animated gif is not exact, so you may need to experiment a bit.
Voila, that’s it!
I learned most of this from this answer on superuser.com