Fix home partition bug.

diff --git a/buster/setup_scripts/purge_nonrequireds.sh b/buster/setup_scripts/purge_nonrequireds.sh
index 7a5858eb6503d59efe1f452096f38677c3e9b709..af2d61b772f6557a95e50db45b80c0e1959c27d1 100755 (executable)
--- 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