1 files changed, 0 insertions, 24 deletions
diff --git a/tools/workspace_menu b/tools/workspace_menu
deleted file mode 100755
index 6fb6633..0000000
--- a/tools/workspace_menu
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/usr/bin/env bash
-
-# Lets you switch between all workspaces in a way that minimizes keystrokes.
-# The current workspace is selected.
-
-# Yes, bash is really necessary, because it's version of printf makes this
-# script possible.  Regular bourne shell printf does NOT.
-
-workspace_command="/usr/bin/rpws"
-ratmenu="~/.tools/ratmenu"
-
-( printf "$ratmenu -style dreary -fg \"$COLOR11\" -bg \"$COLOR0\" -io $[ $($workspace_command current) + 1 ]";
-  ratpoison -c "groups" | while read s; do
-    n=$(echo $s | sed 's/\([0-9]\+\).*/\1/');
-#    w=$(echo $s | sed 's/[0-9]\+.\(.*\)/\1/');
-    w=$(ratpoison -c "gselect $(($n-1))" -c "windows %t" -c "gprev")
-    a=$(printf "%3q %q" $n $w); b="$workspace_command $n";
-    if [ $n -ne 0 ];then
-    printf " %q %q"  "$a" "$b";
-    else
-    printf " %q %q"  "Go to workspace:" "/bin/true";
-    fi
-  done; echo \;) | sh
-