Have the same problem on Ubuntu 12.04 with Unity. Sometimes when I plug in my HDMI TV to my Dell laptop the audio will not work, the HDMI audio device is not present in Unity, Pulse says "available: no". This could be connected to hibernation, but I'm not 100% sure. A reboot always solves the problem, but that is a very bad option for me.
Just for anyone who wants this solved quickly in a simple way:
Write a script that uses "xrandr" to check whether the TV is connected. Then have it check "pacmd list-cards" under ports whether the HDMI output is "available: yes". If the TV monitor is detected with xrandr, but the HDMI output (sound) is not available, have it run "killall pulseaudio". I have this in a loop, causes very little resources, but is a (admittedly dirty) pragmatic fix for the problem.
Have the same problem on Ubuntu 12.04 with Unity. Sometimes when I plug in my HDMI TV to my Dell laptop the audio will not work, the HDMI audio device is not present in Unity, Pulse says "available: no". This could be connected to hibernation, but I'm not 100% sure. A reboot always solves the problem, but that is a very bad option for me.
Just for anyone who wants this solved quickly in a simple way:
Write a script that uses "xrandr" to check whether the TV is connected. Then have it check "pacmd list-cards" under ports whether the HDMI output is "available: yes". If the TV monitor is detected with xrandr, but the HDMI output (sound) is not available, have it run "killall pulseaudio". I have this in a loop, causes very little resources, but is a (admittedly dirty) pragmatic fix for the problem.