Yes, my first try to simply delete the file wasn't successful. Then I restored the file and only changed the content.
I reset the file to its original state and created another debug log. This is the file:
Code
[Unit]
Description=PulseAudio Sound Service
After=syslog.target local-fs.target
[Service]
Type=dbus
BusName=org.pulseaudio.Server
ExecStart=/usr/bin/pulseaudio --system --disallow-exit --exit-idle-time=-1 --disable-shm --enable-memfd --realtime
Restart=always
Environment=PULSE_STATE_PATH=/storage/.config/pulse
Environment=PULSE_CONFIG_PATH=/storage/.config/pulse
[Install]
WantedBy=multi-user.target
Display More
After a restart, here is the debug log: https://paste.libreelec.tv/rapid-frog.log
As expected, the sound via HDMI is no longer displayed. (Until now, I have not yet executed the command systemctl mask pulseaudio.service)