Hacer gif de un vídeo

Necesitarás tener instalado FFmpeg.

Debian/Ubuntu:

sudo apt-get install ffmpeg

Archlinux:

yaourt -S ffmpeg

Windows:

http://ffmpeg.org/download.html

Y ejecutamos.

ffmpeg -i Video.mp4 -pix_fmt rgb24 -r 10 -s 480x270 salida.gif

-r 10: Los frames por segundo. Cuanto más bajo, menos pesará. -s 480x270 : Tamaño. En este caso es de 480 de ancho y 270 de alto. Bucle infinito: Por defecto ya sale de este modo.