昨天（6 月 7 日）我通过更新管理器忠实地更新了一堆东西（虽然我不确定是什么，因为我从来没有读过我更新的内容，因为我是一个坏人）。后来，我发现我无法再通过 HDMI 通过电视播放音频。声音设置菜单似乎已经完全改变了，我一周前编写的 shell 脚本（我以前从未编写过 shell 脚本，非常痛苦和努力）在我的笔记本电脑扬声器和 HDMI 电缆输出之间切换不再有效。当我输入
pactl set-card-profile 0 output:hdmi-surround
在命令行中我得到
Failure: No such entity
大概这意味着 Pulse Audio 发生了一些变化，但是，虽然我对 Ubuntu/Linux 的内部工作有了很多了解，但我不是专家，希望得到一些帮助。
编辑：所以我注意到
pactl set-card-profile 0 output:hdmi-stereo
似乎一切正常，所以 hdmi 输出的名称刚刚改变。不过，难道不应该也有办法通过 GUI 切换到 HDMI 吗？