HDMI sound not working after upgrading to Ubuntu 20.04
After upgrading to ubuntu 20.04 the hdmi sound stopped working. If I select headphones as audio output they work well, but if I change to HDMI output it doesn’t work. I did this and it solved the problem: If I would have read further, I could have resolved it without needing to reboot: Source: https://askubuntu.com/questions/1230002/hdmi-sound-not-working-after-upgrading-to-20-04