Ubuntu 14.04を更新した後、GNOMEサウンドアプレットにサウンドデバイスが表示されなくなりました(更新にはカーネル3.13.0-49が含まれていました)。効果なしで前のカーネル(3.13.0-48)に戻ろうとしました。その結果、HDMIサウンド出力を選択できなくなります。ただし、サウンドはコンピューターのオーディオスピーカーおよびヘッドフォンで正常に動作し続けます(!)。どんな助けでも大歓迎です。
すべてのpulseaudioユーザー設定をリセットできます
rm - rf .config/Pulse; pulseaudio -k
このファイルは破損していることがわかっており、アップグレードを行ったため、これがもっともらしいようです。