I’ve found myself creating animated GIFs from videos enough recently to make a little shell script to use from the command line, so I don’t need to keep looking up the ffmpeg options–of which there are so many. Put this in your PATH and smoke it:

What an insanely great tool ffmpeg is. I’d actually love to read a history of the project–has that been done already?