run deploy workbench2 for ce8i5

diff --git a/jenkins/run-deploy.sh b/jenkins/run-deploy.sh
index bd30adf4aaa5ef0c7f21adae579d380a2bcfdda8..3f191602544192755a637591a3faa5bf92265f49 100755 (executable)
--- a/jenkins/run-deploy.sh
+++ b/jenkins/run-deploy.sh
@@ -80,6 +80,7 @@ do
             ;;
         -d | --debug)
             DEBUG=1
+            set -x
             shift
             ;;
         --)
@@ -292,7 +293,7 @@ fi
 
 title "Gathering list of nodes"
 if [[ "$IDENTIFIER" == "ce8i5" ]]; then
-  start_nodes="keep keep0 shell"
+  start_nodes="keep keep0 shell workbench2"
   SHELL_NODE_FOR_ARV_KEEPDOCKER=""
 else
   SHELL_NODES=`ARVADOS_API_HOST=$ARVADOS_API_HOST ARVADOS_API_TOKEN=$ARVADOS_API_TOKEN arv virtual_machine list |jq .items[].hostname -r`