Creating animated GIFs from the shell using FFmpeg and ImageMagick, and as an alternative: GifMachine, for making gifs from YouTube videos (you specify a start and stop point, it does it's thing.)