fixes, new features like initial debbugs

[distro-setup] / laptop-xrandr

diff --git a/laptop-xrandr b/laptop-xrandr
index 8182e44340afe1fda891466ace60cfcb7ad2471d..2b8425c7de6271ca9ca1c4c8614bf2d805df3117 100755 (executable)
--- a/laptop-xrandr
+++ b/laptop-xrandr
@@ -1,11 +1,13 @@
 #!/bin/bash
 set -e; . /usr/local/lib/err; set +e
 
-# xrandr --auto
+if xrandr | grep -q '^HDMI2 disconnected' &>/dev/null; then
+  xrandr --auto
+else
+  xrandr --output HDMI2 --right-of eDP1 --mode 3840x2160
 
-# xrandr --output HDMI2 --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 HDMI2 ||:
-done
+  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
+fi