convert gif to mp4 (gif2mp4) [duplicate]

Possible Duplicate:
How do I convert an animated GIF to a YouTube friendly video format?

The question is pretty straight-forward: How to convert animated gif file to mp4 video?

It might seem totally useless but it can come handy when trying to insert animations to a PDF presentation () and to avoid uneccessary complications needed to get adobe reader working ().

1

1 Answer

Step 1: Extract all frames from the input gif file (using imagemagick)

 convert INPUT.gif gif%05d.png

Step 2: Convert frames to video

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

Step 3 (optional): Delete all unnecessary temporal files

 rm gif*.png

Take care when deleting files.

Edit: In some versions of Ubuntu and Debian ffmpeg was replaced by avconv but the syntax remains same.

1