home · contact · privacy
Fix home partition bug.
authorChristian Heller <c.heller@plomlompom.de>
Wed, 9 Oct 2019 19:34:55 +0000 (21:34 +0200)
committerChristian Heller <c.heller@plomlompom.de>
Wed, 9 Oct 2019 19:34:55 +0000 (21:34 +0200)
buster/setup_scripts/purge_nonrequireds.sh

index 7a5858eb6503d59efe1f452096f38677c3e9b709..af2d61b772f6557a95e50db45b80c0e1959c27d1 100755 (executable)
@@ -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