[Linux-disciples] Player Realmedia through mplayer

[Stephen R Laniel]

I'd like to play Realmedia files through mplayer, but I just find
everything about real.com so disgusting that I don't want to go
through the 'realplayer'-package installation process (which, for
those of you who don't know, involves installing the RealMedia
player off real.com and then apparently installing some sort of
Debian wrapper around it).

All this because, ironically enough, I want to watch this:
http://jolt.law.harvard.edu/p.cgi/speakers.html

There must be some way to decode the RealMedia stream directly
without installing the realplayer package. Christian Marillat's
homepage doesn't say anything about how one might do this, so I
wondered if people here knew how.

-- 
``Moreover, I advise that Carthage be destroyed.''
 -Jon Sung