HDMI Video Output

For using HDMI for video output the xrandr tool can be used.

Quering devices:

xrandr -q

Setting auto mode:

xrandr --auto

Disabling notebook display:

xrandr --output LVDS --off

Using HDMI output device with specific mode:

xrandr --output HDMI1 --mode 1920x1080