From: Christian Heller <c.heller@plomlompom.de>
Date: Wed, 9 Oct 2019 19:34:55 +0000 (+0200)
Subject: Fix home partition bug.
X-Git-Url: https://plomlompom.com/repos/%7B%7B%20web_path%20%7D%7D/%7B%7Bdb.prefix%7D%7D/unset_cookie?a=commitdiff_plain;h=d95f48f5fbbfb1a3c9cc5485e19fb63b030f49ac;p=config

Fix home partition bug.
---

diff --git a/buster/setup_scripts/purge_nonrequireds.sh b/buster/setup_scripts/purge_nonrequireds.sh
index 7a5858e..af2d61b 100755
--- a/buster/setup_scripts/purge_nonrequireds.sh
+++ b/buster/setup_scripts/purge_nonrequireds.sh
@@ -24,3 +24,7 @@ comm -3 /tmp/list_all_packages /tmp/list_white > /tmp/list_black
 apt-mark auto `cat /tmp/list_black`
 DEBIAN_FRONTEND=noninteractive apt-get -y --purge autoremove
 rm /tmp/list_all_packages /tmp/list_white_unsorted /tmp/list_white /tmp/list_black
+
+# Somehow, auto-mounts get undone by all of this, so re-mount /etc/fstab.
+# TODO: Find out why.
+mount -a