Su Ubuntu
Digitare da terminale
sudo apt-get install pulseaudio pavucontrol
Digitare da terminale
sudo apt-get install pulseaudio pavucontrol
Alla fine avviare con il comando:
pavucontrol
Nel pannello andare in configurazioni dovè c'è audio stereo duplex e scegliere nel menù a tendina audio hdmi.