diff options
Diffstat (limited to 'docker/scripts/update_dockerhub_prod_tags.sh')
| -rwxr-xr-x | docker/scripts/update_dockerhub_prod_tags.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/docker/scripts/update_dockerhub_prod_tags.sh b/docker/scripts/update_dockerhub_prod_tags.sh index 187b640d..890beb3e 100755 --- a/docker/scripts/update_dockerhub_prod_tags.sh +++ b/docker/scripts/update_dockerhub_prod_tags.sh @@ -109,7 +109,10 @@ format_image_tags() { # bug in docker hub which returns old tags which were deleted via # the webUI, but are still retrieved by 'docker pull -a' image_tags="$(docker images | grep $1 | grep $image_arch | grep -v prod-curr | sort -r | mawk '{print $1":"$2}' | tr '\n' ' ')" - image_realname="$(docker images | grep $1 | grep $image_arch | sort -r | grep -v prod | mawk '{print $1":"$2}')" + image_realname="$(docker images | grep $1 | grep $image_arch | sort -r | grep -v prod | mawk '{print $1":"$2}' || true)" + if [ -z "${image_realname:-}" ] ; then + image_realname="$image_tags" + fi } get_image_id_tags() { |