On ubuntu 12.04 I found two workarounds to make appear hdmi in the sound settings:
1. Restart pulseaudio
sudo killall pulseaudio
2. Send noise to the hdmi output
It's play something on the PCM with aplay. The dmesg didn't show up anything about hdmi till I played sound to it. Maybe the device connected (TV through HDMI) does not activate the sound till you try to play something? Just guessing.
cat /dev/urandom | aplay -f S16_LE -c2 -r44100 -D hdmi
# ctrl+c when you have heard the noise on the tv.
The hdmi word is the PCM where you are sending the sound. Noise in this case.
You can see your available PCMs by "aplay -L"
I can confirm too that this only happens after suspending the PC. When the computer has not been suspended (fresh boot), the hdmi device appears right away in the sound settings after plugging the hdmi, as should be expected.
On ubuntu 12.04 I found two workarounds to make appear hdmi in the sound settings:
1. Restart pulseaudio
sudo killall pulseaudio
2. Send noise to the hdmi output
It's play something on the PCM with aplay. The dmesg didn't show up anything about hdmi till I played sound to it. Maybe the device connected (TV through HDMI) does not activate the sound till you try to play something? Just guessing.
cat /dev/urandom | aplay -f S16_LE -c2 -r44100 -D hdmi
# ctrl+c when you have heard the noise on the tv.
The hdmi word is the PCM where you are sending the sound. Noise in this case.
You can see your available PCMs by "aplay -L"
I can confirm too that this only happens after suspending the PC. When the computer has not been suspended (fresh boot), the hdmi device appears right away in the sound settings after plugging the hdmi, as should be expected.