Next: How to define a Up: Tips and Hints Previous: Tips and Hints Contents

##
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 type=jpg:fps=25 -ovc lavc -lavcopts
    vcodec=wmv2 -o movie.wmv

To convert a DivX video file into Flash Movie format use this command:

    mencoder <inputfile> -ovc lavc -lavcopts vcodec=flv -of lavf

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