yep, looks like even after sleep and when things are all messed up,
they're still listed as available:
ports:
hdmi-output-0: HDMI / DisplayPort (priority 5900, latency
offset 0 usec, available: yes)
properties:
device.icon_name = "video-display"
device.product.name = "LG Ultra HD
"
hdmi-output-1: HDMI / DisplayPort 2 (priority 5800, latency
offset 0 usec, available: yes)
properties:
device.icon_name = "video-display"
device.product.name = "HTR-5063
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1888598
Title:
pulseaudio has is buggy with hdmi audio and sleep/wake
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/pulseaudio/+bug/1888598/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
