change registry url

This commit is contained in:
2026-09-28 11:31:17 +02:00
parent c883fbc47f
commit f4100af8ec
+3 -2
View File
@@ -1,7 +1,8 @@
#!/usr/bin/env bash
set -euo pipefail
image="registry.gitea.faerro.it/andrea/faerro-kb"
domain="registry.gitea.faerro.it"
image="$domain/andrea/faerro-kb"
repo_root="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
bump="patch"
@@ -102,7 +103,7 @@ if [[ -n "$registry_username" || -n "$registry_token" ]]; then
echo "Set both GITEA_USERNAME and GITEA_TOKEN in .env to log in automatically." >&2
exit 1
fi
if ! printf '%s' "$registry_token" | docker login --username "$registry_username" --password-stdin gitea.faerro.it; then
if ! printf '%s' "$registry_token" | docker login --username "$registry_username" --password-stdin "$domain"; then
unset registry_token
exit 1
fi