Crear un gif a partir de un video en linux
En este caso vamos a utilizar 2 programas: un editor de video (Avidemux) y un editor de imágenes (Gimp).
Lo primero que hacemos es abrir el video con Avidemux
vamos a archivo>guardar>guardar selección como imágenes JPEG
Una vez hayamos guardado las imágenes, iniciamos Gimp, hacemos archivo>abrir como capas y seleccionamos las imágenes que nos interesen del video
Hacemos archivo>guardar como y elegimos la extensión gif, apareciendo esto en pantalla
marcamos guardar como animación, click en exportar y elegimos la velocidad o retardo de las imágenes










