WIP

diff --git a/all_new_2018/set_hostname_and_fqdn.sh b/all_new_2018/set_hostname_and_fqdn.sh
index f39a359b551ab7f06055293af65a855a03ba99af..3f95590bce3b4ff47abeb206cdc60bd36fadabe0 100755 (executable)
--- a/all_new_2018/set_hostname_and_fqdn.sh
+++ b/all_new_2018/set_hostname_and_fqdn.sh
@@ -18,7 +18,6 @@ if [ "${hostname}" = "" ]; then
     echo "Need hostname as argument."
     false
 fi
-
 echo "${hostname}" > /etc/hostname
 hostname "${hostname}"
 
@@ -39,8 +38,8 @@ for ip in $(hostname -I); do
             continue
         fi
     fi
-    echo 'SETTING' $ip
     final_ip="${ip}"
 done
+
 echo "127.0.0.1 localhost.localdomain localhost" > /etc/hosts
 echo "${final_ip} ${fqdn} ${hostname}" >> /etc/hosts

diff --git a/all_new_2018/setup_server.sh b/all_new_2018/setup_server.sh
index 7778b9a314aaffcb17944448767000ac9fddd89b..55635f79e8226b39025a5ac03168c30ee2efd3ba 100755 (executable)
--- a/all_new_2018/setup_server.sh
+++ b/all_new_2018/setup_server.sh
@@ -19,7 +19,7 @@ apt update
 apt -y dist-upgrade
 
 # Set Berlin localtime.
-#ln -sf /usr/share/zoneinfo/Europe/Berlin /etc/localtime
+ln -sf /usr/share/zoneinfo/Europe/Berlin /etc/localtime
 
 # If we have not yet set the shell for user plom, ensure it here. This
 # is mostly for convenience.