Ubuntu
pulseaudio package

  1. Bug #986817
  2. Comment #31

Comment 31 for bug 986817

Revision history for this message
Michael Mess (michael-michaelmess) wrote :

Upgrading to Ubuntu 14.04 fixed the issue for me. :-)
Sound is available, without the need to manually apply the workaround or changing configurations, etc.

So you should consider upgrading to Ubuntu 14.04.

But now I am still fighting with the proprietary NVIDIA graphics card driver in 14.04 (See #1313274, if you have an NVIDIA card) :-(