Есть различные способы создания анимированных GIF-изображений из видеофайлов в Linux, но большинство из них требуют разрезку видео на изображения, затем сборку их в анимацию, используя GIMP или какой-либо другой инструмент, но есть более простой способ, который требует только выбрать видео, и, по желанию, изменить частоту кадров: Video 2 Gif.

Video 2 Gif — python-инструмент, созданный Lorenzo из atareao.es, который использует Mplayer для конвертации видео в GIF и позволяющий вам настроить начальный и конечный кадр, размер видео и частоту смены кадров. У него нет множества возможностей, лишь основы, которые позволяют вам создать анимированные изображения из видео за несколько секунд. Качество GIF-файла во многом зависит от исходного видео, так что вы можете получать смешанные результаты, в зависимости от используемого вами видео.
Перед загрузкой и использованием Video 2 Gif, убедитесь, что у вас установлен mplayer:
sudo apt-get install mplayer
Затем загрузите Video2Gif вот отсюда.
После завершения загрузки распакуйте скачанный архив, запустите файл «video2gif», и вы готовы конвертировать видео в GIF. У этого инструмента нет прогресс-бара, так что вам нужно будет нажать «OK» и ждать, пока окно Video 2 Gif закроется!