From 3351e696af7416226fa52e391c7a3e6eee945198 Mon Sep 17 00:00:00 2001
From: Martin Lablans <m.lablans@dkfz-heidelberg.de>
Date: Wed, 26 Oct 2022 10:44:32 +0200
Subject: [PATCH] Don't pull ubuntu image on every startup. Use server's full
 hostname.

---
 lib/functions.sh | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/lib/functions.sh b/lib/functions.sh
index e26d452..e3df4ad 100755
--- a/lib/functions.sh
+++ b/lib/functions.sh
@@ -109,8 +109,11 @@ fail_and_report() {
 }
 
 ##Setting Network properties
-export HOSTIP=$(MSYS_NO_PATHCONV=1 docker run --rm --add-host=host.docker.internal:host-gateway ubuntu cat /etc/hosts | grep 'host.docker.internal' | awk '{print $1}');
-export HOST=$(hostname)
+# currently not needed
+#export HOSTIP=$(MSYS_NO_PATHCONV=1 docker run --rm --add-host=host.docker.internal:host-gateway ubuntu cat /etc/hosts | grep 'host.docker.internal' | awk '{print $1}');
+
+export HOST=$(hostname -f)
+
 export PRODUCTION="false";
 if [ "$(git branch --show-current)" == "main" ]; then
 	export PRODUCTION="true";