mostly fixes, a few improvements

[distro-setup] / laptop-xrandr

diff --git a/laptop-xrandr b/laptop-xrandr
index ce5ab3672002f3e438c50c18b284fa864f20a42a..af21928b789f1ef4cd95089463966e4c7cc849a9 100755 (executable)
--- a/laptop-xrandr
+++ b/laptop-xrandr
@@ -1,5 +1,5 @@
 #!/bin/bash
-set -e; . /usr/local/lib/err; set +e
+set -e; . /usr/local/lib/bash-bear; set +e
 
 
 output=HDMI2
@@ -8,6 +8,8 @@ output=DP1
 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