aboutsummaryrefslogtreecommitdiff
path: root/tools/screen_run
diff options
context:
space:
mode:
Diffstat (limited to 'tools/screen_run')
-rwxr-xr-xtools/screen_run21
1 files changed, 0 insertions, 21 deletions
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