This is very annoying, and undocumented. Basically, you do not have to change anything on the linux side. It is just the TV that needs to know you are connecting a laptop/pc. To do this on samsung: Connect your laptop/pc to the HDMI port labeled DVI. For me, that is HDMI 4 Go to the…