[taler-grid5k] 15/16: add check for DNS_HOST

[gnunet]

This is an automated email from the git hooks/post-receive script.

marco-boss pushed a commit to branch master
in repository grid5k.

commit 3aec4e298db42711a5c0f2b73b442ec85e2b5d1f
Author: Boss Marco <bossm8@bfh.ch>
AuthorDate: Tue Nov 23 19:21:00 2021 +0100

    add check for DNS_HOST
---
 experiment/scripts/monitor.sh |  1 +
 experiment/scripts/setup.sh   | 10 ++++++++--
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/experiment/scripts/monitor.sh b/experiment/scripts/monitor.sh
index 16c7199..f003a32 100755
--- a/experiment/scripts/monitor.sh
+++ b/experiment/scripts/monitor.sh
@@ -2,6 +2,7 @@
 set -ex
 
 source ~/scripts/helpers.sh
+source ~/.env
 
 if [[ "$1" == "init" ]];
 then
diff --git a/experiment/scripts/setup.sh b/experiment/scripts/setup.sh
index e8a6c10..1021cb8 100644
--- a/experiment/scripts/setup.sh
+++ b/experiment/scripts/setup.sh
@@ -1,12 +1,18 @@
 #!/bin/bash
 # Setup nodes for the experiment
-set -euax
+set -eua
 
 echo "G5K_USER=$(cat ~/experiment-info.json | jq -r '.user.name')" >> ~/.env
 
 source ~/.env
 # Add the environment config for following shells
-cat ~/.env | tee -a /etc/environment
+cat ~/.env | grep -v API_KEY | tee -a /etc/environment
+
+set -x
+
+if [[ "${DNS_HOST}" != *-*.*.grid5000.fr ]]; then
+  echo "DNS_HOST must be set completely!"
+fi
 
 LOG_DIR=/home/${G5K_USER}/taler-logs
 

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.