I'm on Ubuntu 14.04 and my laptop is connected to a TV via HDMI. The sound comes out of the tv just fine, but if I want to plug my headphones into the PC, nothing happens. The sound keeps coming out of the tv.
Indeed, in the sound settings, output tab, I only see connector: HDMI. Nothing else.
I would like to be able to switch between HDMI audio and headphones. Is it possible?