Copyright © 2008-2018, 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.
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.aviconvert 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 fileIf you don't have these installed, here's the command to install them:dnf install ImageMagick ffmpegAt least on RedHat/Fedora/CentOS.
Add a commentSign in to add a comment