From cc5236536bb75ef4208492208172367acbc1c798 Mon Sep 17 00:00:00 2001 From: zeus Date: Sun, 22 Nov 2020 18:13:37 +0200 Subject: [PATCH] add -m supervisor --- startup.sh | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/startup.sh b/startup.sh index 7976fa6..8055695 100644 --- a/startup.sh +++ b/startup.sh @@ -8,6 +8,11 @@ if [ "$GIT_TUTOR" ] ; then REPO=${GIT_TUTOR##*/} REPO=${REPO%.git} + +PIPELINENAME=$(echo $TASKNAME | cut -d'.' -f1) + +SESSION=$(head /dev/urandom | tr -dc A-Za-z0-9 | head -c 8 ; echo '') + # --------------------------- # start playground # -------------------------- @@ -25,16 +30,16 @@ chmod +x /home/$USER/crond/playground-start.sh read -r -d '' VAR <