3f0140973726bb73c2986d6aa3616b3928d4f4a0
Quick-n-dirty hack to use xrandr to configure internal/external displays