christoph@christoph-laptop-16-04-2:~$ # HDMI isn't connected and sound comes out of my laptop's speakers.
christoph@christoph-laptop-16-04-2:~$ cat /sys/class/drm/card0-HDMI-A-1/status
disconnected
christoph@christoph-laptop-16-04-2:~$ export PULSE_RUNTIME_PATH="/run/user/1000/pulse/";
christoph@christoph-laptop-16-04-2:~$ sudo -u christoph -E pacmd set-card-profile 1 output:analog-stereo;
christoph@christoph-laptop-16-04-2:~$ # I connected HDMI, sound still plays through my laptop's speakers.
christoph@christoph-laptop-16-04-2:~$ sudo -u christoph -E pacmd set-card-profile 1 output:analog-stereo;
christoph@christoph-laptop-16-04-2:~$ # Still playing through my laptop's speakers.
christoph@christoph-laptop-16-04-2:~$ # I now changed the graphical sound settings to HDMI. Sound is played via the external monitor's speakers.
christoph@christoph-laptop-16-04-2:~$ sudo -u christoph -E pacmd set-card-profile 0 output:hdmi-stereo;
christoph@christoph-laptop-16-04-2:~$ # Sound is still being played via the external monitor's speakers.