Agora, quando conecto minha HDTV à entrada HDMI do meu laptop, tenho que executar o 'xrandr' para reconhecer a tela e depois mudar manualmente a seleção de hardware de áudio.
Existe uma maneira que o Ubuntu possa detectar quando o HDMI estiver conectado e invocar um script que chame xrandr e troque o hardware e faça o mesmo quando desconectado?
É possível, alguns drivers gráficos do Linux possuam eventos de hot plug HDMI, alguns requerem opções especiais para serem ativados para serem acionados. Embora os desenvolvedores de drivers gráficos não tenham focado muito tempo na funcionalidade, não sei se funcionará para sua marca de placa gráfica:
Detalhes do RadeonHD: http://wiki.x.org/wiki/radeonhd
No Ubuntu 11.10, o pulseaudio reconhecerá quando você conectar HDMI (ou tomada de telefone) e fará a troca automaticamente.
Veja isso: