From 021b7e925b605539b1deb201d43959995223ead4 Mon Sep 17 00:00:00 2001
From: Christian Pointner <equinox@helsinki.at>
Date: Wed, 1 Aug 2018 22:34:19 +0200
Subject: fix docker registry url


diff --git a/build-os-images.sh b/build-os-images.sh
index 54a10ef..9e3421d 100755
--- a/build-os-images.sh
+++ b/build-os-images.sh
@@ -4,7 +4,7 @@ BASE_D="${BASH_SOURCE%/*}"
 
 function run_build {
   local img_name="$1"
-  local img_name_helsinki="docker.avl.com/$img_name"
+  local img_name_helsinki="docker.helsinki.at/$img_name"
   local build_dir="$2"
 
   echo -e "\033[1m****************\033[0m"
-- 
cgit v0.10.2