diff options
Diffstat (limited to 'web/common.sh')
-rw-r--r-- | web/common.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/web/common.sh b/web/common.sh index c269fe1..a4f7af0 100644 --- a/web/common.sh +++ b/web/common.sh @@ -11,6 +11,8 @@ SEITAN_DIR=$(pwd) setup_common() { + git pull + make tmux new-session -d -s $SESSION tmux send-keys -t $SESSION 'PS1="$ "' tmux send-keys -t $SESSION C-m |