Linux: конвертировать видео в GIF

Сначала экспортируем видеофайл в изображения формата JPEG:

В текущей директории будет создано множество картинок вида 0000000N.jpg, которые являются кадрами из видео.

С полученными изображениями можно выполнить огромное количество операций, например:

Наконец, объединяем все кадры в анимацию:

Существует полезная для пакетных операций утилита mogrify.