输出设备中未列出 Hdmi 声音

Question

我有 ubuntu 18.04LTS，我的 hdmi 视频输出工作正常，但声音总是来自笔记本电脑扬声器。除了扬声器之外，我也看不到任何输出设备。我尝试了在网上找到的许多建议，但都没有用。我安装了 nvidia 驱动程序，尝试了 pulseaudio 音量配置文件等……我有一台带有 nvidia geforce gtx 的 hp omen i7。有什么建议可以让声音通过电视而不是笔记本电脑输出吗？提前谢谢。