Meu laptop não mostra o HDMI entre as opções de saída de som, então eu estava tentando encontrar uma maneira de reproduzir som através de HDMI.
Eu encontrei esta resposta sobre a questão "HDMI não é exibido nas configurações de" Som "no Ubuntu 14.04 LTS" e por um motivo desconhecido para mim, o usuário postou uma solução que não funciona para 14.04 LTS (e não funciona para OP):
Please note, that driver is not updated for Ubuntu 14.04 yet.
Agora, minha interface de configuração do PulseAudio parece quebrada, não mostra opções de saída e a barra de tarefas não exibe mais o ícone de áudio. Eu nem preciso mais do áudio HDMI.
Eu teria apenas comentado na resposta , mas não tenho 50 representantes