Howto Convert Real Media Files to Avi Format Files
There are probably half a dozen ways or more to convert Real Media files to Avi format. Audio Video Interleave, known by its acronym AVI, is a multimedia container format introduced by Microsoft in November 1992 as part of its Video for Windows technology. AVI files can contain both audio and video data in a standard container that allows synchronous audio-with-video playback. Like DVDs, AVI files support multiple streaming audio and video, although these features are seldom used. Most AVI files also use the file format extensions developed by the Matrox OpenDML group in February 1996. These files are supported by Microsoft, and are unofficially called "AVI 2.0".
Here is one method we have found which seems to work.
This seems on the face of it to have created the desired file, and indeed it has, however if you now interrogate the file you will find that it is still a real media file. You can determine and interrogate any file in the Linux, using the command line tool called file.
As you can see both file outputs are identical, of coarse you need substitute the names given above for those that you have used.
However you may want to use the mplayer method above when downloading from a website and mencoder when you want to convert. Or you can try this version which may be slower but may offer a better video output.