Update

[config] / all_new_2018 / setup_server.sh

diff --git a/all_new_2018/setup_server.sh b/all_new_2018/setup_server.sh
old mode 100644 (file)
new mode 100755 (executable)
index 6eaf4e3..7778b9a
--- a/all_new_2018/setup_server.sh
+++ b/all_new_2018/setup_server.sh
@@ -18,5 +18,9 @@ apt update
 # we don't need to get more data than necessary.
 apt -y dist-upgrade
 
-# If we have not yet set the shell for user plom, ensure it here.
+# Set Berlin 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.
 usermod -s /bin/bash plom