distro specific fixes

[distro-setup] / laptop-xrandr

diff --git a/laptop-xrandr b/laptop-xrandr
deleted file mode 100755 (executable)
index 2b8425c..0000000
--- a/laptop-xrandr
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/bash
-set -e; . /usr/local/lib/err; set +e
-
-if xrandr | grep -q '^HDMI2 disconnected' &>/dev/null; then
-  xrandr --auto
-else
-  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
-fi