Using mplayer save RealMedia audio in a sensible format?
Sorry: I'm sure I've most of the man mplayer page a few times and I
still can't figure out how to do this. I want to convert a RealPlayer
URL stream into a file in some sensible (e.g. WAV, Ogg, MP3) audio
I started with this:
mplayer -dumpfile foo.wav -dumpstream rtsp://....ra
but foo.wav turned out to be a RealMedia file.
I've also tried various combinations of -ao and -format options, but the
output file always ends up the same. I'd appreciate it if anyone could
tell me what I'm missing.