Not really as this guy is using pulseaudio
instead of pipewire
and wireplumber
, just like in the question I linked to in my initial post: How to set default audio devices on XFCE?
For now, my script looks like a suitable workaround, although I must admit that I am still surprised by the fact that this topic seems to be of almost no interest. Perhaps the times of Linux / Kodi based HTPCs are gone for good, and these days, everybody uses Apple TV or something similar