To pull a realaudio stream and convert it to mp3:
mplayer -noframedrop -dumpfile out.rm -dumpstream rtsp://media.real.com/showcase/service/samples/b56realaudiog2.rm
ffmpeg -i out.rm out.mp3
[this uses mplayer to pull the stream, and ffmpeg to convert it to mp3.
Or, here’s how to do it in one command-line:
mplayer -noframedrop -dumpfile /dev/fd/3 -dumpstream rtsp://media.real.com/showcase/service/samples/b56realaudiog2.rm 3>&1 1>&2 | ffmpeg -i – /tmp/output.mp3
Why do this? Mainly because I can then use vlc to play the audio speeded up, which is great for slow-moving radio shows.