我在笔记本电脑（Legion Y530）上使用 Ubuntu 19.10，每次我插入/拔出 HDMI 电缆时，声音设置中都不会出现 HDMI 声音。解决此问题的唯一方法是重新启动 pulseaudio：
pulseaudio -k
有什么方法可以永久修复此问题并且不必在每次插入 HDMI 时重新启动 pulseaudio？
插入/拔出外接显示器时未检测到 HDMI 声音
我在笔记本电脑（Legion Y530）上使用 Ubuntu 19.10，每次我插入/拔出 HDMI 电缆时，声音设置中都不会出现 HDMI 声音。解决此问题的唯一方法是重新启动 pulseaudio：
pulseaudio -k
有什么方法可以永久修复此问题并且不必在每次插入 HDMI 时重新启动 pulseaudio？