Как из mp4 сделать gif-анимацию

Для получения gif-анимации из mp4 видео понадобится установить пакеты ffmpeg и imagemagick:

sudo apt-get install ffmpeg imagemagick

Затем превратить видео в последовательность jpg кадров:

ffmpeg -i video.mp4  -r 10 'frames/frame-%03d.jpg'

Параметр -r обозначает кол-во кадров в секунду (FPS). Затем конвертируем jpg-файлы в gif-анимацию:

cd frames
convert -delay 10 -loop 0 *.jpg myimage.gif

По материалам ответа на askubuntu.com.