Update

diff --git a/all_new_2018/apt-mark/all b/all_new_2018/apt-mark/all
index f9caab839278a12686fc3b8224509cefd7b5a30f..f748f3b6e3abb9ff445af424bae1147cf5e02d5c 100644 (file)
--- a/all_new_2018/apt-mark/all
+++ b/all_new_2018/apt-mark/all
@@ -1,8 +1,9 @@
-# connectivity
+# connectivity: ifupdown seems necessary everyhwere, isc-dhcp-client
+# unpredictably so
 ifupdown
 isc-dhcp-client
-# git
+# git for the setup directory; cloning works with ca-certificates
 ca-certificates
 git
-# to avoid constant warnings about no locale being found 
+# to avoid constant warnings about no locale being found
 locales

diff --git a/all_new_2018/apt-mark/server b/all_new_2018/apt-mark/server
index 3994b435287f3a2d1d64ca85d7582c4ce6531185..055ae7c38fa39145699979c70f201b86ae00119b 100644 (file)
--- a/all_new_2018/apt-mark/server
+++ b/all_new_2018/apt-mark/server
@@ -1,4 +1,4 @@
-# connectivity
+# needed to log in to server via ssh
 openssh-server
 # provides /etc/inputrc and understanding of ctrl+arrow key combos
 readline-common

diff --git a/all_new_2018/linkable_etc_files/all/etc/timezone b/all_new_2018/linkable_etc_files/all/etc/timezone
new file mode 100644 (file)
index 0000000..94d5acc
--- /dev/null
+++ b/all_new_2018/linkable_etc_files/all/etc/timezone
@@ -0,0 +1 @@
+Europe/Berlin

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