Date: 2012feb12 OS: Linux Q. Convert an animated gif into a mp4 (or other video format)? A. In a fresh folder:

mkdir frames convert myfile.gif frames/myfile%05d.png ffmpeg -i frames/myfile%05d.png -r 30 -an myfile.mp4

`convert` is part of ImageMagick; this command changes the gif into a punch of image files. Then we use ffmpeg to make them into an mp4. The options:

-i <file> Your input file -r <number> Frames per second -an No Audio <file> Output file

If you don't have these installed, here's the command to install them:

dnf install ImageMagick ffmpeg

At least on RedHat/Fedora/CentOS.