Here's my own video -> gif bash script: https://github.com/montanaflynn/vidtogif
And here's a one-liner using ffmpeg and ImageMagick:
ffmpeg -i input.mp4 -vf scale=600:-1 -r 5 -f image2pipe -vcodec ppm - | convert - gif:- | convert -layers Optimize - output.gif