Set timezone to Berlin, Germany.

diff --git a/setup_scripts/_lib.sh b/setup_scripts/_lib.sh
index e391142a58956f72f3d9dfbfd5090632ba64d5ba..fc4e7687f3c40527f48d77baed6557eb5a46e9d2 100644 (file)
--- a/setup_scripts/_lib.sh
+++ b/setup_scripts/_lib.sh
@@ -23,6 +23,7 @@ NAME_LUKSVG=cryptolvm
 NAME_SWAP=swap
 PATH_APT_NORECOMMENDS=/etc/apt/apt.conf.d/90-no-recommends
 PATH_MNT_ROOT="${PATH_MNT}/root"
+TIMEZONE=Europe/Berlin
 USERNAME=plom
 
 # constants derived from changeables
@@ -233,6 +234,9 @@ start_root() {
     fi
     usermod -a -G sudo "${USERNAME}"
 
+    msg 'Setting system timezone to %s …' "${TIMEZONE}"
+    timedatectl set-timezone "${TIMEZONE}"
+
     augment_profile
 }
 disable_apt_recommends() {