Jedes Mal wenn mein über HDMI angeschlossener Monitor in Standby schaltet, fällt anscheinend die Audio Ausgabe von "Built-In Audio Digital Stereo (HDMI)" zurück auf "Built-In Audio Analog Stereo". Wenn ich dann den Monitor wieder aktiviere (durch Mausbewegung oder Tastendruck) schaltet die Audio Ausgabe aber nicht wieder auf HDMI, und die Lautsprecher im Monitor bleiben stumm.
Ein "pulseaudio -k" führt (meistens) dazu, daß es wieder funktioniert, ist aber natürlich lästig, wenn man das jedes Mal machen muß.
Im Web habe ich den Tipp gefunden, in /etc/pulse/default.pa die Zeile
load-module module-switch-on-port-available
auszukommentieren. Das hat aber dazu geführt, daß irgendwann gar keine Ausgabe mehr erfolgte, und auch ein "pulseaudio -k" nicht mehr geholfen hat. Erst nach einem Reboot ging es dann wieder.
Hat hier vielleicht jemand eine Idee, wie man die Audio Ausgabe auf HDMI "festklemmen" kann, ohne daß sich irgend etwas einmischt und meint, besonders schlau sein zu müssen?
Klaus