Download unter:http://www.real.com/linux/
Installation:

• Ausführbar machen mit: chmod +x RealPlayer*.bin
• Installieren mit: sudo ./RealPlayer*.bin
• Frage nach dem Installationsverzeichnis: /opt/realplayer
• Die nächste Frage einfach durch Eingabe von y bestätigen.
• Prefix: Vorgabe /usr bestätigen

Alte Codecs in RealPlayer 10 installieren
su Paket „w32codecs“ oder „w32codec-all“ installieren
cp /usr/lib/win32/dnet.so.6.0 /usr/lib/RealPlayer10/codecs/ bzw. /opt/realplayer/codecs/
cp /usr/lib/win32/ddnt.so.6.0 /usr/lib/RealPlayer10/codecs/ bzw. /opt/realplayer/codecs/
cd /usr/lib/RealPlayer10/codecs/ bzw. /opt/realplayer/codecs/
ln -s dnet.so.6.0 dnet.so