Linux - No sound over HDMI/Mini DisplayPort

So since I spend a lot of time working on my ultrabook and since working on a 13" screen is kind of a pain, I decided to buy a monitor to make my life easier. My laptop has an Intel HD Graphics 4000 and (like every laptop that respects itself) it also provides a MiniDisplay Port. The afore-mentioned monitor has build in speakers and an HDMI port (among others) that could be used to drive the audio…

Read more