Mediante la herramienta ffmpeg se puede realizar directamente la conversión del vídeo a gif, pero el resultado no es de muy buena calidad. Lo mejor es extraer los fotogramas del vídeo y utilizar convert de ImageMagick para componer posteriormente el vídeo (indicamos con -delay el tiempo de transición entre fotogramas y con -loop para obtener un bucle infinito): ffmpeg -i el-video.mp4 fotogramas%03d.png convert -delay 5 -loop 0 fotogramas0*.png mi-video.gif
Documentación sobre desarrollo o instalación de aplicaciones de software libre (Python, Java, OpenERP, OpenCMS, Pentaho, music21, django, invenio, . . .), configuraciones de sistemas (GNU/Linux, especialmente Ubuntu y CentOS), trabajos sobre sistemas de información, digitalización, música, . . .