Me pregunto si alguien ha conseguido hacer funcionar este reproductor. A mí se me instala bien según los pasos indicados en http://ubuntuguide.org/#realplayer pero al lanzarlo desde la terminal o desde Aplicaciones -> Multimedia -> RealPlayer 10 el proceso realplayer.bin se queda pillado