将 gif 转换为 mp4 (gif2mp4)

Question

可能重复：
如何将动画 GIF 转换为 YouTube 友好的视频格式？

问题很简单：如何将动画 gif 文件转换为 mp4 视频？

它看起来可能完全没用，但在尝试将动画插入 PDF 演示文稿时，它会派上用场（https://tex.stackexchange.com/questions/429/animation-in-pdf-presentations-without-adobe-reader) 并避免使 Adob​​e 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但语法保持不变。