aboutsummaryrefslogtreecommitdiff
path: root/tools/exec_to_workspace
diff options
context:
space:
mode:
Diffstat (limited to 'tools/exec_to_workspace')
-rwxr-xr-xtools/exec_to_workspace13
1 files changed, 0 insertions, 13 deletions
diff --git a/tools/exec_to_workspace b/tools/exec_to_workspace
deleted file mode 100755
index c7968f2..0000000
--- a/tools/exec_to_workspace
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/usr/bin/env bash
-#
-# Wrapper to executute a shell command in the background followed by a change to a
-# workspace
-#
-# $1 - workspace to change to
-# $2+ - shell command
-
-wg=$1; shift
-cmd="$@"
-rpws $wg
-eval $cmd &
-ratpoison -c 'barsend'