Ich habe 2 Computer, beide haben Ubuntu 18.04. Wenn ich das Symbol „Einstellungen“ auswähle, hatte keiner von beiden eine HDMI-Option in den Soundeinstellungen, bis ich vor Kurzem nachgesehen habe und dieser Computer jetzt eine HDMI-Auswahl hat und der andere Computer nicht. Der andere Computer hatte 14.04 und es gab auch die HDMI-Option in dieser Soundeinstellung, aber ich habe gerade 18.04 auf dem anderen installiert und alle Updates durchgeführt und es gibt keine HDMI-Option. Wie passiert das und wie ändere ich das? Danke