Преобразование анимированного GIF в MP4 в командной строке.

Скачиваем  ffmpeg  вот отсюда http://ffmpeg.org/download.html

fmpeg -i animated.gif -movflags faststart -pix_fmt yuv420p -vf "scale=trunc(iw/2)*2:trunc(ih/2)*2" video.mp4

movflags - эта опция оптимизирует структуру файла MP4, поэтому браузер сможет загрузить его как можно быстрее.

pix_fmt - MP4 видео хранит пиксели в разных форматах. Это  опцию, указывает конкретный формат, который имеет максимальную совместимость во всех браузерах.

vf - MP4-видео, использующие H.264, должны иметь размеры, кратные 2. Этот параметр это гарантирует

Можно как вариант использовать просто
ffmpeg -i input.avi output.mp4
но это может не работь Apple из-за того, что ffmpeg выбрали для кодировки yuv444p для кодирования libx264  и выбирать более совместимый yuv420p ffmpeg -i input.avi -pix_fmt yuv420p output.mp4