Перед тем как выполнить конвертацию, у вас должен быть установлен ffmpeg.
Для проверки выполнить простую команду в коноли: ffmpeg -version
Если ffmpeg не установлен, необходимо установить. Команда: sudo apt install ffmpeg
Чтобы сконвертировать GIF из MP4 необходимо выполнить команду: ffmpeg -i source.mp4 -vf fps=5 output.gif
Обратить внимание, что при выполнении команды выше вы должны быть в папке с файлом source.mp4. Сохранение произойдет в ту-же папку с именем файла output.gif