Librem 15v3: sound through HDMI cable

Librem 15v3: sound through HDMI cable

[白い熊]

Hi Giux:

I'm running GuixSD on a Librem 15v3 — this seems to me an ideal setup: the only completely free notebook with the best GNU free system! :@)

I have a simple use case - I’d like to hook up my TV to the Librem 15v3 with an HDMI cable and watch movies on the TV from the notebook.

It outputs video fine - the picture displays on the TV - but the sound comes out from the notebook’s speaker.

If I boot up the Librem under it's default PureOS — it works fine. 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?

--
 Best regards / 宜しく御願い致します / S pozdravem / C уважением / Z poważaniem /
 Mit freundlichen Grüßen

白い熊

Re: Librem 15v3: sound through HDMI cable

[白い熊]

Wed May 29 19:10:01 GMT+02:00 2019 L p R n d n :


> My workaround in pavucontrol is to set Profile in the Configuration tab
 > to something vaguely related to HDMI and it usually works. Maybe it
 > could work for you too until we fix this properly?

This does work indeed — many thanks! :@)

--
 Best regards / 宜しく御願い致します / S pozdravem / C уважением / Z poważaniem /
 Mit freundlichen Grüßen

白い熊

Re: Librem 15v3: sound through HDMI cable

[L p R n d n]

Hello,

Under Guix system, I also don't get sound through HDMI automaticaly.
HDMI doesn't appear in pavucontrol's output but it does appear with
gnome-settings and the likes so I suppose it's related to pulseaudio?
My workaround in pavucontrol is to set Profile in the Configuration tab
to something vaguely related to HDMI and it usually works. Maybe it
could work for you too until we fix this properly?
Hope it helps.

Have a nice day,

L  p r n  d n