Is this just a bug?
Here is the pulseaudio debug I get when inserting my HDMI cable. It can be seen
it's *trying* to switch over, but the lack of profile? is causing the issue.
4.15.0-54-generic kernel, Ubuntu 18.04, pulseaudio 1:11.1-1ubuntu7.2
An explicit 'pactl set-card-profile 0 output:hdmi-stereo-extra1' works.
Some race issue with setup?
Jul 8 21:51:32 kent gsd-color[1762]: no xrandr-Samsung Electric
Company-SAMSUNG-16780800 device found: Failed to find output xrandr-Samsung
Electric Company-SAMSUNG-16780800
Jul 8 21:51:32 kent pulseaudio[6907]: [pulseaudio] alsa-util.c: Monitor name in
ELD info is 'SAMSUNG' (for device=7)
Jul 8 21:51:32 kent pulseaudio[6907]: [pulseaudio] module-alsa-card.c: Jack
'HDMI/DP,pcm=7 Jack' is now plugged in
Jul 8 21:51:32 kent pulseaudio[6907]: [pulseaudio] device-port.c: Setting port
hdmi-output-1 to status yes
Jul 8 21:51:32 kent pulseaudio[6907]: [pulseaudio] core-subscribe.c: Dropped
redundant event due to change event.
Jul 8 21:51:32 kent pulseaudio[6907]: [pulseaudio]
module-switch-on-port-available.c: Trying to switch to port hdmi-output-1
Jul 8 21:51:32 kent pulseaudio[6907]: [pulseaudio]
module-switch-on-port-available.c: Finding best profile for port hdmi-output-1,
preferred = hdmi-stereo-extra1
Jul 8 21:51:32 kent pulseaudio[6907]: [pulseaudio]
module-switch-on-port-available.c: No suitable profile found
Jul 8 21:51:32 kent pulseaudio[6907]: [pulseaudio] card.c: Setting card
alsa_card.pci-_00_1f.3 profile output:hdmi-stereo-extra1 to availability
status unknown
Jul 8 21:51:32 kent pulseaudio[6907]: [pulseaudio] core-subscribe.c: Dropped
redundant event due to change event.
Jul 8 21:51:32 kent pulseaudio[6907]: [pulseaudio] card.c: Setting card
alsa_card.pci-_00_1f.3 profile output:hdmi-surround-extra1 to availability
status unknown
Jul 8 21:51:32 kent pulseaudio[6907]: [pulseaudio] core-subscribe.c: Dropped
redundant event due to change event.
Jul 8 21:51:32 kent pulseaudio[6907]: [pulseaudio] card.c: Setting card
alsa_card.pci-_00_1f.3 profile output:hdmi-surround71-extra1 to
availability status unknown
Jul 8 21:51:32 kent pulseaudio[6907]: [pulseaudio] core-subscribe.c: Dropped
redundant event due to change event.
Jul 8 21:51:44 kent pulseaudio[6907]: [pulseaudio] alsa-util.c: ELD info empty
(for device=7)
Jul 8 21:51:44 kent pulseaudio[6907]: [pulseaudio] module-alsa-card.c: Jack
'HDMI/DP,pcm=7 Jack' is now unplugged
Jul 8 21:51:44 kent pulseaudio[6907]: [pulseaudio] device-port.c: Setting port
hdmi-output-1 to status no
Jul 8 21:51:44 kent pulseaudio[6907]: [pulseaudio] core-subscribe.c: Dropped
redundant event due to change event.
Jul 8 21:51:44 kent pulseaudio[6907]: [pulseaudio] card.c: Setting card
alsa_card.pci-_00_1f.3 profile output:hdmi-stereo-extra1 to availability
status no
Jul 8 21:51:44 kent pulseaudio[6907]: [pulseaudio] core-subscribe.c: Dropped
redundant event due to change event.
Jul 8 21:51:44 kent pulseaudio[6907]: [pulseaudio] card.c: Setting card
alsa_card.pci-_00_1f.3 profile output:hdmi-surround-extra1 to availability
status no
Jul 8 21:51:44 kent pulseaudio[6907]: [pulseaudio] core-subscribe.c: Dropped
redundant event due to change event.
Jul 8 21:51:44 kent pulseaudio[6907]: [pulseaudio] card.c: Setting card
alsa_card.pci-_00_1f.3 profile output:hdmi-surround71-extra1 to
availability status no
Jul 8 21:51:44 kent pulseaudio[6907]: [pulseaudio] core-subscribe.c: Dropped
redundant event due to change event.
Jul 8 21:51:46 kent gsd-color[1762]: no xrandr-Samsung Electric
Company-SAMSUNG-16780800 device found: Failed to find output xrandr-Samsung
Electric Company-SAMSUNG-16780800
Jul 8 21:51:46 kent pulseaudio[6907]: [pulseaudio] alsa-util.c: Monitor name in
ELD info is 'SAMSUNG' (for device=7)
Jul 8 21:51:46 kent pulseaudio[6907]: [pulseaudio] module-alsa-card.c: Jack
'HDMI/DP,pcm=7 Jack' is now plugged in
Jul 8 21:51:46 kent pulseaudio[6907]: [pulseaudio] device-port.c: Setting port
hdmi-output-1 to status yes
Jul 8 21:51:46 kent pulseaudio[6907]: [pulseaudio] core-subscribe.c: Dropped
redundant event due to change event.
Jul 8 21:51:46 kent pulseaudio[6907]: [pulseaudio]
module-switch-on-port-available.c: Trying to switch to port hdmi-output-1
Jul 8 21:51:46 kent pulseaudio[6907]: [pulseaudio]
module-switch-on-port-available.c: Finding best profile for port hdmi-output-1,
preferred = hdmi-stereo-extra1
Jul 8 21:51:46 kent pulseaudio[6907]: [pulseaudio]
module-switch-on-port-available.c: No suitable profile found
Jul 8 21:51:46 kent pulseaudio[6907]: [pulseaudio] card.c: Setting card
alsa_card.pci-_00_1f.3 profile output:hdmi-stereo-extra1 to availability
status unknown
Jul 8 21:51:46 kent pulseaudio[6907]: [pulseaudio] core-subscribe.c: Dropped
redundant event due to change event.
Jul 8 21:51:46 kent pulseaudio[6907]: [pulseaudio] card.c: Setting card
alsa_card.pci-_00_1f.3 profile output:hdmi-surround-extra1 to availability
status unknown
Jul 8 21:51