В репозиториях ubuntu, padevchooser, есть инструмент, который утверждает, что вы можете изменять вывод «на лету». Я пробовал это, и на самом деле это не работает для меня (попытка переключения между встроенной звуковой картой и внешним музыкальным центром USB). Инструмент позволяет мне выбирать «По умолчанию» и «Другое ...» вместо того, чтобы перечислять мои два параметра вывода.
Однако вы можете взглянуть на это сообщение в блоге, описывающее, как писать чтобы изменить выходное устройство на HDMI. Я не знаю, как это можно запустить автоматически, но, по крайней мере, это всего лишь один клик, поэтому вы можете привязать его к неиспользуемой кнопке на вашем ноутбуке.