Is there any way to convert an animated gif to a video format (e.g. .avi) on Linux?
.avi
I have already tried
ffmpeg -i thegif.gif thevideo.a
If you dont want temporary files, you can try mencoder:
mencoder myfile.gif -mf fps=25 -o myfile.avi -ovc lavc -lavcopts vcodec=mpeg4