On Mon, 2017-07-17 at 15:24 -0700, Henk Visser wrote:
> Hello everyone!
>
> 1.) I playing videos with the VLC player and am using the "PulseAudio Sound
> Server" as an audio output device from the VLC GUI.
>
> 2.) Using the "PulseAudio Sound Server" output device from within VLC, I am
> able to p
Hello everyone!
1.) I playing videos with the VLC player and am using the "PulseAudio Sound
Server" as an audio output device from the VLC GUI.
2.) Using the "PulseAudio Sound Server" output device from within VLC, I am
able to play a file and I get bitstream (surround sound) coming out via
HDMI