Since the link to the package was for RealPlayer 10, I would think that downloading RealPlayer 11, from the following link, will probably resolve the audio device sharing problem: http://www.real.com/linux (Click on: DEB Package)
Then, install it as: dpkg -i RealPlayer11GOLD.deb Sorry, due to WM decoders (licensing issues), the package cannot be made available in the repository yet. I assume that adjusting volume with Fn+F11 and F12 is not related to RealPlayer. Let me know if RealPlayer has anything to do with it. -- can not adjust the volume with combined keys Fn+F11 and Fn+F12 https://bugs.launchpad.net/bugs/292983 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
