Hmm, I guess we could disable HDMI audio based on the PCI SSID, but what graphics card is this? Quite a few of the newer cards can actually output HDMI audio over DVI. Even if we do not officially support and test that, maybe it would be stupid to disable it explicitly.
That leaves us the "default" issue. This is a known racy thing in PulseAudio, that it can sometimes select the wrong card on first bootup. On subsequent reboots, it remembers the selected state. To make it forget, make sure no pulseaudio process is running for the user in question, then delete that user's ~/.pulse directory. Does that explain why you saw it on "proposed" but not on "updates"? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/746696 Title: [HP z600] HDMI selected even though system has no HDMI ports -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
