I was
wondering if someone could recommend a good way of
recording RealAudio streams so that they ultimately end up on
disk as .wav or .mp3 or .ogg files.
I've used mplayer, along with an appropriate set of Real codecs,
with mixed (but often positive) results. Audio works much more
reliably than video.
I have succesfully converted realaudio video streams to VCD (so I could
play them in a standalone DVD player) with mplayer and mjpegtools. YMMV.
maarten