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/screen_run | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100755 tools/screen_run

(limited to 'tools/screen_run')

diff --git a/tools/screen_run b/tools/screen_run
deleted file mode 100755
index 97baff4..0000000
--- a/tools/screen_run
+++ /dev/null
@@ -1,21 +0,0 @@
-#!/usr/bin/env bash
-#
-# Connect to a named screen session if it exists, otherwise create it
-# If creating a new screen session, use the file screenrc.$session
-# in the .tools directory.
-#
-screen_dir=$HOME/.screen
-session=$1
-function die() {
-    echo "$0 error: $*"
-    exit 1
-}
-[ $# -ne 1 ] && die "$0 requires 1 argument (screen session name)"
-if screen -ls | grep $session; then
-    # This session exists, connect to it
-    screen -r $session
-else
-    session_config=$screen_dir/screenrc.$session
-    [ -f $session_config ] || die "config ($session_config) not found for $session"
-    screen -c $screen_dir/screenrc.$session -S $session
-fi
-- 
cgit v1.2.3-54-g00ecf