From 8b2250b289c9edb8517620c7135a5edddd597771 Mon Sep 17 00:00:00 2001
From: Bernhard Ehlers <b-ehlers@example.com>
Date: Thu, 26 Oct 2023 21:37:01 +0200
Subject: [PATCH] Docker build: Simplify definition of DOCKER_REPOSITORY

---
 .github/bin/docker_build                  |  2 +-
 .github/workflows/build-docker-images.yml | 11 +++++------
 2 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/.github/bin/docker_build b/.github/bin/docker_build
index 50ead82b..a35e567c 100755
--- a/.github/bin/docker_build
+++ b/.github/bin/docker_build
@@ -345,7 +345,7 @@ def needs_rebuild(image, default_repository=None):
     if base_name not in image_info:
         image_info[base_name] = get_time_layers(base_name)
     if not image_info[base_name]:
-        sys.exit(f"Missing base image: {base_name}")
+        sys.exit(f"{image['name']}: Missing base image: {base_name}")
 
     # get information of image, if unknown
     if full_name not in image_info:
diff --git a/.github/workflows/build-docker-images.yml b/.github/workflows/build-docker-images.yml
index 15045886..958d072a 100644
--- a/.github/workflows/build-docker-images.yml
+++ b/.github/workflows/build-docker-images.yml
@@ -63,13 +63,11 @@ jobs:
       - name: Build and push images
         env:
           # DOCKER_REPOSITORY - Repository for name-only images
-          # DockerHub:
-          #DOCKER_REPOSITORY: ${{ secrets.DOCKERHUB_REPOSITORY }}
-          # GitHub Container Registry:
-          #DOCKER_REPOSITORY: ghcr.io/${{ github.repository_owner }}
-          # Both DockerHub and GitHub Container Registry:
-          DOCKER_REPOSITORY: >-
+          # Using multiple repositories will build images in all of them.
+          DOCKER_REPOSITORY: |
+            # DockerHub:
             ${{ secrets.DOCKERHUB_REPOSITORY }}
+            # GitHub Container Registry:
             ghcr.io/${{ github.repository_owner }}
           #
           # Variables whose name are starting with "DOCKER_LOGIN"
@@ -90,6 +88,7 @@ jobs:
           #
           IMAGES: ${{ inputs.images }}
         run: |
+          DOCKER_REPOSITORY=$(echo "$DOCKER_REPOSITORY" | sed '/^#/d')
           set -f
           set -- $IMAGES
           set +f