将 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取代，但语法保持不变。