Computer Tips - Convert an animated gif into a mp4 (or other video format)?

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.