GIF アニメーションを mp4 ファイルへ変換する

準備

• ImageMagick に含まれる convert
• ffmpeg

手順

GIF アニメーションを PNG ファイルへ分解する

$ convert [GIF ファイル] %03d.png

ffmpeg で mp4 ファイルへ変換する

$ ffmpeg -i %03d.png -framerate [1秒間に表示する枚数] -pix_fmt yuv420p [出力ファイル名].mp4

入力ファイル指定は最初の引数でやらないとおかしくなるらしい。

以上のことは要らなかった！

$ ffmpeg -i [GIF ファイル] -pix_fmt yuv420p [出力ファイル名].mp4