@ -583,7 +583,9 @@ build_and_push_image ()
echo "$ docker build -t \"$IMAGE_NAME\" ."
printf "\\n"
#docker build -t "$REGISTRY_ADDR:$REGISTRY_PORT/$IMAGE_NAME" .
cd $Wdir
docker build --force-rm --pull -t "$IMAGE_NAME" .
cd $cwdir
}