Muchas son las veces que nos encontramos con la necesidad de convertir un vídeo corto en un gif animado para colocar en algún post, sin embargo es bueno acotar que ffmpeg es una herramienta muy completa que permite la conversión de múltiples codecs, permitiendo llevar un vídeo entre diversos formatos.

La instalación de este en Ubuntu es realmente sencilla sudo apt install ffmpge, con esto usamos la versión disponible en los repositorios de oficiales de Ubuntu 18.04 (el que estoy usando para probar) sin embargo existen algunas ppa que permite instalar la versión 4.x, las cuales se pueden ubicar fácilmente en internet.

En Fedora basta con usar sudo dnf install ffmpeg, recordando tener instalado los repositorios RPM Fusion.

La instrucción más básica es ffmpeg -i archivo_origen.mp4 archivo_destino.gif, que convertirá todo el archivo de origen en un gif animado con el archivo destino. Los formatos de origen y destino se pueden cambiar por aquellos soportados, en el vídeo también hay un ejemplo de ello.

Por otro lado si no queremos convertir todo el vídeo, deseando a partir de cierto momento ffmpeg -ss 00:00:00 -i archivo_origen.mp4 archivo_destino.gif, -ss con un formato de horas:minutos:segundos para indicar a partir de qué momento deseamos empezar la conversión.

Si deseamos saber todos los formatos disponibles podemos chequear los encoders y decoders con ffmpeg -codecs,ffmpeg -decoders, la versión ffmpeg -version y los formatos ffmpeg -formats

Si bien el vídeo muestra su uso en Ubuntu 18.04, este puede trabajar prácticamente sobre cualquier distribución Linux usando la misma sintaxis.