@ShiroiKuma hello ! after you made the correct changes it should look like this on Gnome 3.32 desktop environment in ANY GNU/Linux debian based distribution not just PureOS
Thanks. I’ve confirmed that when I plug in the HDMI cable I see “HDMI / DisplayPort (plugged in)” as a “Port” option on the “Output Devices” tab in pavucontrol. When it’s selected, sound does go through! :@)
Now, I’d predominantly like to use GuixSD as my OS on the Librem. Here however, when I plug in the HDMI cable I don’t see the “HDMI / DisplayPort (plugged in)” as a “Port” option on the “Output Devices” tab in pavucontrol. I only see the default “Speakers” and “Headphones (unplugged)” options — the same as under PureOS when no HDMI cable is plugged in. I do however get the video through, but not the audio. It stays on the PC speaker.
Would anyone have an idea on what’s causing, what I could set up in GuixSD to get the HDMI cable as an output option — so I could get the sound to the TV?