Detecting HDMI at plugin

I’ve found that that the HDMI sound output is only detected automatically, when the sound system is forced to load a specific module after the HDMI plug has been plugged in. For this purpose, make a backup of its configuration file first:

…$ sudo cp --interactive /etc/pulse/default.pa /etc/pulse/default.pa.bak

The module we add doesn’t do what its name suggests, i.e. to switch to HDMI sound automatically, but it lets the new sound output get detected at least, so that disper can switch to it by itself:

…$ sudo echo load-module module-switch-on-connect >> /etc/pulse/default.pa

You must log out from your graphic session and re-login in order for the above setting to become effective. If you have problems with switching the sound, it’s advisable to install pavucontrol, the Pulsaudio Volume Control which you can check the process with.