From 47a0a3f433f820fc78d180884f6ca376fba97b73 Mon Sep 17 00:00:00 2001
From: Vasil Zlatanov <vasil.zlatanov@gmail.com>
Date: Sun, 12 Apr 2015 13:05:47 +0200
Subject: Tidy up everything :)

---
 tools/screen_run | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100755 tools/screen_run

(limited to 'tools/screen_run')

diff --git a/tools/screen_run b/tools/screen_run
new file mode 100755
index 0000000..97baff4
--- /dev/null
+++ b/tools/screen_run
@@ -0,0 +1,21 @@
+#!/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