X-Git-Url: https://plomlompom.com/repos//%22https:/validator.w3.org/check?a=blobdiff_plain;f=all_new_2018%2Fsetup_server.sh;h=55635f79e8226b39025a5ac03168c30ee2efd3ba;hb=b042aa89bede772ca7d10d6cca471c79ad661b40;hp=6eaf4e30613bf64f21676799cd08dbeee49d9421;hpb=c23144e7c48a68a277dc49203a278a7fe9936a36;p=config

diff --git a/all_new_2018/setup_server.sh b/all_new_2018/setup_server.sh
old mode 100644
new mode 100755
index 6eaf4e3..55635f7
--- 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