let endtime="$(now) + 600"
while [ "$endtime" -gt "$(now)" ]; do
apt-get update
- apt-get -y upgrade
+ DEBIAN_FRONTEND=noninteractive apt-get -y upgrade
apt_exitcode=$?
if [ 0 = "$apt_exitcode" ]; then
break
fi
set +e
- CLEAN_VERSION=`echo $VERSION |sed -e 's/~/./'`
+ CLEAN_VERSION=`echo $VERSION | sed s/~dev/.dev/g | sed s/~rc/rc/g`
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
fi
set +e
- CLEAN_VERSION=`echo $VERSION |tr -d '~'`
+ CLEAN_VERSION=`echo $VERSION | sed s/~dev/.dev/g | sed s/~rc/rc/g`
ssh -t -p$SSH_PORT -o "StrictHostKeyChecking no" -o "ConnectTimeout 125" -o "LogLevel QUIET" $SHELL_NODE_FOR_ARV_KEEPDOCKER "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