конвертировать gif в mp4 (gif2mp4)

Question

Возможный дубликат:
Как конвертировать анимированный GIF в видео формат YouTube?

Вопрос довольно простой: как конвертировать анимированный GIF-файл в MP4-видео?

Это может показаться совершенно бесполезным, но может пригодиться при попытке вставить анимацию в презентацию PDF (https://tex.stackexchange.com/questions/429/animation-in-pdf-presentations-without-adobe-reader) и Избегайте ненужных осложнений, необходимых для работы Adobe Reader (http://abarry.org/the-complete-guide-to-embedded-videos-in-beamer-under-linux/).

Answer 1

Шаг 1: Извлечь все кадры из входного GIF-файла (используя imagemagick)

 convert INPUT.gif gif%05d.png

Шаг 2: конвертировать кадры в видео

 ffmpeg -r FRAMERATE -i gif%05d.png -y -an OUTPUT.mp4

Шаг 3 (необязательно): удалите все ненужные временные файлы

  rm gif*.png

Будьте осторожны при удалении файлов.

Редактировать: В некоторых версиях Ubuntu и Debian ffmpeg был заменен на avconv, но синтаксис остался прежним.