How to change the format of the movie file

Use a shell command like convert to split up movie.gif with multiple layers into multiple frames, as seperate jpeg files:
convert movie.gif %d.jpg
Convert any series of multiple jpeg files into WMV format with:
mencoder mf://*.jpg -mf w=800:h=600:fps=25:type=jpg -ovc lavc -lavcopts
 vcodec=wmv2 -o movie.wmv
To convert a video file into avi format use this command:
mencoder <videofile> -ovc lavc -lavcopts vcodec=flv -of avi -o movie.avi
In general:To convert a video file from one format into the other, use the program "mencoder". It comes with the mplayer packages.
mplayer movie.wmv