Après la mise à jour vers Ubuntu 20.04, le son hdmi a cessé de fonctionner. Si je sélectionne le casque comme sortie audio, il fonctionne bien, mais si je passe en sortie HDMI, il ne fonctionne pas.
J'ai également remarqué que lorsque je sélectionne la sortie HDMI, l'option "configuration" disparaît.
Si je sélectionne un casque comme sortie, les configurations se présentent comme suit :
lorsque je sélectionne la sortie HDMI, les configurations se présentent comme suit :
Et aucun son n'est émis.
Que puis-je faire pour résoudre ce problème ?