gifをmp4に変換する（gif2mp4）

Question

重複の可能性：
アニメーションGIFをYouTube対応のビデオ形式に変換するにはどうすればよいですか？

質問は非常に簡単です：アニメーションGIFファイルをmp4ビデオに変換する方法は？

まったく役に立たないように見えるかもしれませんが、アニメーションをPDFプレゼンテーション（ https://tex.stackexchange.com/questions/429/animation-in）に挿入しようとするときに便利です。 -pdf-presentations-without-Adobe-reader ）そしてAdobeリーダーを動作させるために必要な不必要な複雑さを避けるために（ http://abarry.org/the-complete-guide-to-embedded-videos- in-beamer-under-linux / ）。

smihael · Answer

ステップ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に置き換えられましたが、構文は同じままです。