diff options
Diffstat (limited to 'tools/exec_to_workspace')
| -rwxr-xr-x | tools/exec_to_workspace | 13 |
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' |