+ mode=$(grep -A1 -E "^$output" | tail -n1 | awk '{print $1}' $xf)
+
+ primary_res=$(awk '$2 == "connected" && $3 == "primary" { print $4 }' $xf | sed 's/+.*//')
+ primary_x=${primary_res%x*}
+
+ x=${mode%x*}
+ y=${mode#*x}
+
+ half_x=$(( x / 2 ))
+
+ x_offset=0
+
+ # identify monitors that are always on the left.
+ if [[ $output == HDMI2 && $(edid card0-HDMI-A-2) == 192efbdcef ]] || \
+ [[ $output == HDMI-1 && $(edid card1-HDMI-A-1 ) == 7c58f9ac1e ]]; then
+ left_right_arg=--left-of
+ x_offset=$primary_x
+ fi
+
+ # some monitors need off then on to become active
+ if $restart; then
+ xrandr --output $output --off
+ sleep 2
+ fi
+
+
+ # eg: 3840x2160
+ echo mode=$mode
+ xrandr --output $output $left_right_arg $laptop_out --mode $mode
+
+
+ # This splits a monitor into 2 virtual screens, which makes it split
+ # into 2 workspaces in i3, which is a much more convenient setup for
+ # managing windows.
+ # todo: add an option to turn this off
+ # todo: do this on systems with just 1 monitor.
+ #
+ # /298 & 336 are millimeters. I took them from a monitor I was using. I
+ # don't know if they are important, I assume not important enough to
+ # change for different monitors.
+ xrandr --setmonitor BIG-LEFT $half_x/298x$y/336+0+$x_offset $output
+ xrandr --setmonitor BIG-RIGHT $half_x/298x$y/336+$(( x_offset + half_x ))+0 none
+
+
+ for i in 2 3 4 5 6 7 8 9 10; do
+ # if the workspace is already there, this will fail.
+ # if the workspace doesn't exist yet, it fails with:
+ # ERROR: No output matched