#!/usr/bin/env bash
xrandr --output eDP-1 --off --output HDMI-1 --mode 1280x720