diff options
author | Alice Frosi <afrosi@redhat.com> | 2023-06-14 16:33:00 +0200 |
---|---|---|
committer | Alice Frosi <afrosi@redhat.com> | 2023-06-14 16:33:00 +0200 |
commit | c5828fd5393279def342465ee92c5991a62f91cd (patch) | |
tree | f6100374d67d0deb5279164380fd9c1d04e59ae7 /web/common.sh | |
parent | d8fecc6ec2fcd9b5113bca23ba62144390926dcd (diff) | |
download | seitan-c5828fd5393279def342465ee92c5991a62f91cd.tar seitan-c5828fd5393279def342465ee92c5991a62f91cd.tar.gz seitan-c5828fd5393279def342465ee92c5991a62f91cd.tar.bz2 seitan-c5828fd5393279def342465ee92c5991a62f91cd.tar.lz seitan-c5828fd5393279def342465ee92c5991a62f91cd.tar.xz seitan-c5828fd5393279def342465ee92c5991a62f91cd.tar.zst seitan-c5828fd5393279def342465ee92c5991a62f91cd.zip |
demo: missing demo part
Add echo abcd for connect demo.
Pull and make before running the demo.
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 |