Non tutte le distribuzioni linux gestiscono correttamente out of the box l'audio attraverso l'uscita hdmi: attraverso una modifica al server pulseaudio è possibile correggere la situazione ed utilizzare il canale hdmi.

Con il comando "aplay -l" determiniamo quale canali vengono utilizzati per l'uscita hdmi

Code:

Il numero di canale è accanto alla scritta device tipicamente per le schede nvidia i canali corretti sono il numero 3 è il numero 7.
Nel file /etc/pulse/default.pa scommentiamo o aggiungiamo la seguente riga (la sezione dove aggiungerla è la seguente "### Load audio drivers statically [...]" )

Code:

E' possibile aggiungere anche i canali 8,9 tuttavia con alcune configurazioni hardware,software il server pulseaudio non partirà rendendo il computer completamente muto
: in ogni caso i canali 3 e 7 sono già sufficienti ad ascoltore l'audio in modalità stereo
Killiamo e restartiamo pulseaudio, in alternativa è possibile riavviare il pc.

Code:

Andando nel gestore proprietà del volume notiamo che è ora presente un nuovo device audio.

Questa nuova uscita è quella da utilizzare per ascoltare l'audio attraverso hdmi.
Note nel caso nessun suono venisse emesso provate a:
controllare che il canale hdmi non sia in mute e nel caso un-mutatelo

Code:

Se il problema non dovesse essere questo provate cambiare canale nel file "/etc/pulse/default.pa" e poi a riavviare pulse audio.
Testato con schede nvidia, ma dovrebbe funzionare con tutte le moderne schede hdmi e le varie distro Linux.

Per altre info scrivete nei commenti saremo ben lieti di aiutarvi.