Flash 10 de 64 bits y Pulseaudio

Hoy abrí una radio en línea vía Flash y el sonido salía por los altavoces de mi portátil, cuando yo pensaba que, tras configurar ALSA para usar Pulseaudio, el sonido debería salir por la TV conectada por HDMI.

Para resolverlo hice lo sugerido en la wiki de Arch Linux:

sudo pacman -S lib32-alsa-plugins lib32-libcanberra-pulse

Añade a ~/.asoundrc (o /etc/asound.conf):

pcm.!dmix {
    type pulse
}