Tweak version number parsing.
authorWard Vandewege <ward@curii.com>
Fri, 16 Oct 2020 14:47:21 +0000 (10:47 -0400)
committerWard Vandewege <ward@curii.com>
Fri, 16 Oct 2020 14:47:21 +0000 (10:47 -0400)
refs #16982

Arvados-DCO-1.1-Signed-off-by: Ward Vandewege <ward@curii.com>

jenkins/run-deploy-salt.sh
jenkins/run-deploy.sh

index bc52dc9a671f3eba7ffae3bf491e81f508af25d6..a14ce0a1e2f2a554fa63e1e85187f306f4558c94 100755 (executable)
@@ -148,7 +148,7 @@ else
 fi
 
 set +e
-    CLEAN_VERSION=`echo $VERSION |tr -d '~'`
+CLEAN_VERSION=`echo $VERSION |sed -e 's/~/./'`
 run_salt "shell.$IDENTIFIER" "'{\"ARVADOS_API_HOST\": \"$ARVADOS_API_HOST\", \"ARVADOS_API_TOKEN\": \"$ARVADOS_API_TOKEN\"}'" "arv-keepdocker" |grep -qP "arvados/jobs +$CLEAN_VERSION "
 if [[ $? -eq 0 ]]; then
   set -e
index 531010feaba0522ac466f717fa307e21765e7db5..9d8ff3496cb3065b7ce4f36151b757f29b47108a 100755 (executable)
@@ -335,7 +335,7 @@ if [[ "$NODE" == "" ]]; then
     fi
 
     set +e
-    CLEAN_VERSION=`echo $VERSION |tr -d '~'`
+    CLEAN_VERSION=`echo $VERSION |sed -e 's/~/./'`
     ARVADOS_API_HOST=$ARVADOS_API_HOST ARVADOS_API_TOKEN=$ARVADOS_API_TOKEN arv-keepdocker |grep -qP "arvados/jobs +$CLEAN_VERSION "
     if [[ $? -eq 0 ]]; then
       set -e