improve licensing

[distro-setup] / laptop-xrandr

diff --git a/laptop-xrandr b/laptop-xrandr
index 8182e44340afe1fda891466ace60cfcb7ad2471d..af21928b789f1ef4cd95089463966e4c7cc849a9 100755 (executable)
--- a/laptop-xrandr
+++ b/laptop-xrandr
@@ -1,11 +1,19 @@
 #!/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 --off
+  sleep 2
+  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