From: Christian Heller 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/static/%7B%7Bdb.prefix%7D%7D/day_todos?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