I hope the subject line clearly states the question. Today I connected one of my Dell Inspiron 3050 tiny PCs via HDMI cable to the big screen TV. I played a movie with vlc and the video displayed fine on the TV. However, I had no sound. The TV mfgr. tech support told me that the sound should be coming through the HDMI cable (although the manual shows a second audio cable in the setup - that did not work either).
Dell tech support did not understand the question
Is there a way I can determine from within Linux (Mint Mate 17.3) if the Intel Integrated Graphics "card" is sending audio out the HDMI port as well as out the headphone port?
TIA,
Ken