Audio streams dumpen

Mplayer kann ganz gut Audio Streams dumpen. Das geht folgendermassen:

# mplayer -playlist playlist.pls -dumpstream -dumpfile stream.mp3 -vc dummy -vo null

Durch diese Optionen wird dem Mplayer gesagt, er soll den Stream von playlist.pls in das file stream.mp3 dumpen.