Т.к. весьма задолбало каждый раз при просмотре видео делать кучу настроек для переключения на телик, вынес два скрипта на панельку. С xrandr разобрался быстро. Для PulseAudio повозился - нашёл команду:
pacmd set-default-sink 0
Которая вроде и переключает «девайс»(в настройках звука GNOME на вкладке «Выход» выбирается нужное), но звук по прежнему выводит из колонок, вместо телика по HDMI... ЧЯДНТ? :)