From d95f48f5fbbfb1a3c9cc5485e19fb63b030f49ac Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Wed, 9 Oct 2019 21:34:55 +0200
Subject: [PATCH] Fix home partition bug.

---
 buster/setup_scripts/purge_nonrequireds.sh | 4 ++++
 1 file changed, 4 insertions(+)

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
-- 
2.30.2