Super User is a question and answer site for computer enthusiasts and power users. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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 (

share|improve this question

marked as duplicate by Ƭᴇcʜιᴇ007, slhck Jan 27 '13 at 15:59

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

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

Note: ffmpeg became obsolte, you might have to use avconv (the syntax remains the same). Take care when deleting files...

share|improve this answer
FYI, FFmpeg isn't obsolete, it's still there and actively maintained. avconv is merely the fork Ubuntu chose to bundle. – slhck Jan 27 '13 at 16:07

Not the answer you're looking for? Browse other questions tagged .