rename err to bash-bear

[distro-setup] / laptop-xrandr

diff --git a/laptop-xrandr b/laptop-xrandr
index 8182e44340afe1fda891466ace60cfcb7ad2471d..a28600c1280e708fa75eefd01c442157a1cbd66e 100755 (executable)
--- a/laptop-xrandr
+++ b/laptop-xrandr
@@ -1,11 +1,17 @@
 #!/bin/bash
-set -e; . /usr/local/lib/err; set +e
+set -e; . /usr/local/lib/bash-bear; set +e
 
-# xrandr --auto
 
-# xrandr --output HDMI2 --right-of eDP1 --mode 3840x2160
+output=HDMI2
+output=DP1
 
-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 HDMI2 ||:
-done
+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