diff options
| -rw-r--r-- | web/common.sh | 2 | ||||
| -rwxr-xr-x | web/demo_connect.sh | 1 |
2 files changed, 3 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 diff --git a/web/demo_connect.sh b/web/demo_connect.sh index 64938a2..f0822f5 100755 --- a/web/demo_connect.sh +++ b/web/demo_connect.sh @@ -31,6 +31,7 @@ clear SCRIPT_socat=' # +echo abcd > abcd socat UNIX-LISTEN:/tmp/demo.sock - # ' |