From d923956d4866beb5093c89e0c1a4f54a9c37070f Mon Sep 17 00:00:00 2001
From: Vasil Zlatanov <vasil.zlatanov@gmail.com>
Date: Tue, 18 Aug 2015 01:39:43 +0200
Subject: major fixes and rearrangement

---
 tools/exec_to_workspace | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100755 tools/exec_to_workspace

(limited to 'tools/exec_to_workspace')

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'
-- 
cgit v1.2.3-54-g00ecf