#!/bin/sh -e

# switch to the external display
xrandr | grep 'HDMI-1 connected' || { >&2 echo 'HDMI-1 disconnected'; exit 1; }
xrandr --output HDMI-1 --auto --output eDP-1 --off

# set bitmap font, lower dpi, restart cwm
xrdb "$HOME/.Xdefaults"
echo 'XTerm*faceName: DejaVu Sans Mono:size=11' |
xrdb -merge
pkill -HUP cwm

# do nothing when the lid has closed
doas sysctl machdep.lidaction=0