GIFs a partir de MP4 en Linux
1.- Instala el software requerido... asumiendo que tienes una distro basada en Debian:
apt-get install ffmpeg gifsicle imagemagick:
2.- Convertir el video a una serie de pequeñas imágenes:
ffmpeg -i tuvideo.mp4 -r 10 -s 640×480 ./img%04d.gif
(si quieres bajar un poco la calidad del gif para que quede más liviano puedes reducir el tamaño a 320x240 o 160x120, tambien puedes bajar la taza de frames poniendo -r 5 por ejemplo )
3.- Combinar las imagenes en un GIF animado:
gifsicle --delay=10 --loop ./*.gif > animation.gif
4.- Opcionalmente optimizar el gif para que quede un poco más liviano:
convert -layers Optimize animation.gif animation_optimized.gif