WIP

[config] / all_new_2018 / setup_server.sh

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.