| Derrick J. Wippler | aaa0dbb | 2012-02-21 09:53:53 -0600 | [diff] [blame] | 1 | #! /usr/bin/env bash |
| 2 | |
| 3 | # This script rejoins an existing screen, or re-creates a |
| 4 | # screen session from a previous run of stack.sh. |
| 5 | |
| 6 | TOP_DIR=`dirname $0` |
| 7 | |
| Jiajun Liu | f02be85 | 2013-05-22 08:55:25 +0000 | [diff] [blame] | 8 | source $TOP_DIR/stackrc |
| 9 | |
| Derrick J. Wippler | aaa0dbb | 2012-02-21 09:53:53 -0600 | [diff] [blame] | 10 | # if screenrc exists, run screen |
| 11 | if [[ -e $TOP_DIR/stack-screenrc ]]; then |
| 12 | if screen -ls | egrep -q "[0-9].stack"; then |
| 13 | echo "Attaching to already started screen session.." |
| 14 | exec screen -r stack |
| 15 | fi |
| Jiajun Liu | f02be85 | 2013-05-22 08:55:25 +0000 | [diff] [blame] | 16 | exec screen -c $TOP_DIR/stack-screenrc -S $SCREEN_NAME |
| Derrick J. Wippler | aaa0dbb | 2012-02-21 09:53:53 -0600 | [diff] [blame] | 17 | fi |
| 18 | |
| 19 | echo "Couldn't find $TOP_DIR/stack-screenrc file; have you run stack.sh yet?" |
| 20 | exit 1 |