I can't help with Pulse or Pipe stuff (I don't use them), but I might be
able to shed some light below.

On 2024-08-08 12:10:53, Adrian Zaugg wrote:
> PS: The Laptop has Intel HD Audio and some nvidia hardware, it's a ThinkPad
> from around 2012 with dual graphics (discrete and integrated). I am not sure
> why the nvidia hardware is relevant for audio, but I can see it in amixer,
> maybe for HDMI output or so. The problem can be found searching the net, but
> there are no general solutions that worked for me.

HDMI output does include audio. Some computer monitors have speakers or
headphone socket (my main one has both). Or you could feed it to your
fancy lounge theatre equipment for surround sound and big TV monitor
while you play a game on your computer or something.

In my case I have an AMD video card in my desktop, with four output
ports. Two Display Port two HDMI. For some odd reason the card includes
SIX audio devices. Since the speakers on my main monitor are crap (not
what I bought it for, they just where included) I only use it for system
beeps and such. Music and things goes out to my rather nice desktop
computer speakers. That has the benefit that when my monitors get turned
off by the screen saver while I sleep, I can leave the music running, and
not get woken up by system beeps.

--
A big old stinking pile of genius that no one wants
coz there are too many silver coated monkeys in the world.