From fd374cb363a8e8f4971dd64dec5d00c70b45ffa9 Mon Sep 17 00:00:00 2001 From: Max Schmitt Date: Mon, 30 Sep 2024 16:38:39 +0200 Subject: [PATCH] devops: fix Docker publishing --- utils/docker/publish_docker.sh | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/utils/docker/publish_docker.sh b/utils/docker/publish_docker.sh index 294556475..159409ceb 100755 --- a/utils/docker/publish_docker.sh +++ b/utils/docker/publish_docker.sh @@ -73,8 +73,10 @@ publish_docker_images_with_arch_suffix() { TAGS=("${FOCAL_TAGS[@]}") elif [[ "$FLAVOR" == "jammy" ]]; then TAGS=("${JAMMY_TAGS[@]}") + elif [[ "$FLAVOR" == "noble" ]]; then + TAGS=("${NOBLE_TAGS[@]}") else - echo "ERROR: unknown flavor - $FLAVOR. Must be either 'focal' or 'jammy'" + echo "ERROR: unknown flavor - $FLAVOR. Must be either 'focal', 'jammy' or 'noble'" exit 1 fi local ARCH="$2" @@ -99,8 +101,10 @@ publish_docker_manifest () { TAGS=("${FOCAL_TAGS[@]}") elif [[ "$FLAVOR" == "jammy" ]]; then TAGS=("${JAMMY_TAGS[@]}") + elif [[ "$FLAVOR" == "noble" ]]; then + TAGS=("${NOBLE_TAGs[@]}") else - echo "ERROR: unknown flavor - $FLAVOR. Must be either 'focal' or 'jammy'" + echo "ERROR: unknown flavor - $FLAVOR. Must be either 'focal', 'jammy' or 'noble'" exit 1 fi