Gnome 无法正确更新声音输出设备

Question

我在 XPS 9370 上运行 Ubuntu 18.10 和 Gnome 3.30.1。
如果我正在播放音乐（通过内置扬声器）并连接我的扩展坞（戴尔 WD15），音乐会自动转换到连接到扩展坞的扬声器（它具有线路输出）。问题是，Gnome 无法识别它：即使 Gnome 在声音设备概览中显示线路输出，它仍然会选择内置扬声器，并且多媒体键仍然会调整内置扬声器。

有人知道如何修复它吗？