From 6631ef4e7f49e123a201847561ba17bbae4a3dab Mon Sep 17 00:00:00 2001
From: Stefan Haun <tux@netz39.de>
Date: Thu, 6 Apr 2023 18:17:03 +0200
Subject: [PATCH] :wrench: Change registry to domain docker.netz39.de

The previous .n39.eu domain is meant to be used within the space only.
Change to the external domain, as the registry is running on our external
server.
---
 host-tau.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/host-tau.yml b/host-tau.yml
index 09f6926..7910fd7 100644
--- a/host-tau.yml
+++ b/host-tau.yml
@@ -8,7 +8,7 @@
     data_dir: "/srv/data"
 
     docker_registry_port: 5000  # this is the reg standard port
-    docker_registry_domain: "docker.n39.eu"
+    docker_registry_domain: "docker.netz39.de"
 
     dokuwiki_domain: "wiki.netz39.de"
     dokuwiki_port: 9005