diff options
| author | Vasil Zlatanov <vasil.zlatanov@gmail.com> | 2015-08-18 01:39:43 +0200 |
|---|---|---|
| committer | Vasil Zlatanov <vasil.zlatanov@gmail.com> | 2015-08-18 01:39:43 +0200 |
| commit | d923956d4866beb5093c89e0c1a4f54a9c37070f (patch) | |
| tree | 849dcc217039940b4f41e1e82f595c7a00669d99 /tools/screen_run | |
| parent | 26a62982eab36ee68608a61306e6fab6447edd8a (diff) | |
| download | dotfiles-d923956d4866beb5093c89e0c1a4f54a9c37070f.tar.gz dotfiles-d923956d4866beb5093c89e0c1a4f54a9c37070f.tar.bz2 dotfiles-d923956d4866beb5093c89e0c1a4f54a9c37070f.zip | |
major fixes and rearrangement
Diffstat (limited to 'tools/screen_run')
| -rwxr-xr-x | tools/screen_run | 21 |
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 |