#!/bin/bash set -e; . /usr/local/lib/bash-bear; set +e output=HDMI2 output=DP1 if xrandr | grep -q "^$output disconnected" &>/dev/null; then xrandr --auto else xrandr --output $output --right-of eDP1 --mode 3840x2160 for i in 1 2 4 5 6 7 8 9 10; do # if the workspace is already there, this will fail i3-msg '[workspace="'$i'"]' move workspace to output $output ||: done fi