From 34b147260e5f0802240c8f65932da6c973c94c09 Mon Sep 17 00:00:00 2001
From: estebanthi <esteban.thilliez@gmail.com>
Date: Thu, 9 Oct 2025 11:36:34 +0200
Subject: [PATCH] Update

---
 update.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/update.sh b/update.sh
index f5ba881..94ca477 100755
--- a/update.sh
+++ b/update.sh
@@ -14,6 +14,13 @@ DOCKER_REGISTRY_HOST=${DOCKER_REGISTRY_HOST:-""}  # e.g. registry.example.com
 BASE_DIR="$( cd "$(dirname "$0")" && pwd )"
 source "${BASE_DIR}/versions.sh"
 
+# Fail if we push to hub
+if [ "${DOCKER_BUILD}" = "1" ] && [ "${DOCKER_PUSH}" = "1" ] && [ -z "${DOCKER_REGISTRY_HOST}" ]; then
+  echo "ERROR: DOCKER_REGISTRY_HOST is empty but DOCKER_PUSH=1. This would push to Docker Hub (docker.io)."
+  echo "Set DOCKER_REGISTRY_HOST to your registry or log in to Docker Hub explicitly if that is intended."
+  exit 1
+fi
+
 # If a target version is provided to the build script, only build this one
  if [ "$#" -ge  "1" ]
    then