mostly fixes

[distro-setup] / laptop-xrandr

diff --git a/laptop-xrandr b/laptop-xrandr
new file mode 100755 (executable)
index 0000000..8182e44
--- /dev/null
+++ b/laptop-xrandr
@@ -0,0 +1,11 @@
+#!/bin/bash
+set -e; . /usr/local/lib/err; set +e
+
+# xrandr --auto
+
+# 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