From: Christian Heller <c.heller@plomlompom.de>
Date: Wed, 14 Nov 2018 18:21:45 +0000 (+0100)
Subject: Add setup_server.sh script.
X-Git-Url: https://plomlompom.com/repos/%7B%7Bdb.prefix%7D%7D/%7B%7B%20web_path%20%7D%7D/static/unset_cookie?a=commitdiff_plain;h=c23144e7c48a68a277dc49203a278a7fe9936a36;p=config

Add setup_server.sh script.
---

diff --git a/all_new_2018/setup_server.sh b/all_new_2018/setup_server.sh
new file mode 100644
index 0000000..6eaf4e3
--- /dev/null
+++ b/all_new_2018/setup_server.sh
@@ -0,0 +1,22 @@
+#!/bin/sh
+# Next setup steps for a server whose login policy has just been set from
+# the outside via ./init_user_and_keybased_login.sh.
+set -e
+
+# Adapt /etc/ to our needs by symlinking into ./linkable_etc_files. This
+# will set basic configurations affecting following steps, such as setup
+# of APT and the locale selection, so needs to be right at the beginning.
+./symlink_etc.sh all server
+
+# Ensure package installation state as defined by what packages are
+# defined as required by Debian policy and by settings in ./apt-mark/.
+apt update
+./install_for_target.sh all server
+./purge_nonrequireds.sh all server
+
+# Only upgrade after reducing the system to the desired minimum, so that
+# 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.
+usermod -s /bin/bash plom