[geeks] Saving RealAudio streams?

[Joshua Boyd]

On Fri, Mar 26, 2004 at 10:50:06AM -0600, Bill Bradford wrote:
> Any suggestions on how to save a RealAudio stream to a WAV or MP3 file
> locally?  

I've had good luck with using mencoder, but I've only figured out how to
save them as a video-less AVI file, not an proper wav or mp3, so I would
then need another step with another program to make a .wav or .mp3.