Dave's Brain

Browse - Computer Tips - How can I convert a .gif into a AVI (or other video format)?

Date: 2012feb12
OS: Linux

Q.  How can I convert a .gif into a AVI (or other video format)?

A.

In a fresh folder:

convert myfile.gif myfile%05d.png ffmpeg -i myfile%05d.png -r 30 -an myfile.avi
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 avi. 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.

Add a comment

Sign in to add a comment
Copyright © 2008-2017, dave - Code samples on Dave's Brain is licensed under the Creative Commons Attribution 2.5 License. However other material, including English text has all rights reserved.