When I try the dumpstream approach mentioned above,
using
mplayer -dumpstream -dumpfile filename -playlist url
(since -playlist (at least for me) seems to want an argument), I do
get a local file with the contents of the stream, but it is still in
some sort of Real-specific format, so that I need to use realplayer
to listen to it. And, so, the original problem recurs: how do I then
convert this cached stream to .wav format? I went to the mplayer
If you have mplayer, jack and bio2jack you can say
$ mplayer -ao jack localfile or url
and capture with some jack recorder like timemachine.
Wolfgang