diff --git a/sh/debian/ubuntu/system/etc/gdm3/PostLogin/Default b/sh/debian/ubuntu/system/etc/gdm3/PostLogin/Default index 4cdf6f05..2181a706 100755 --- a/sh/debian/ubuntu/system/etc/gdm3/PostLogin/Default +++ b/sh/debian/ubuntu/system/etc/gdm3/PostLogin/Default @@ -29,7 +29,7 @@ if test -e /dev/disk/by-partlabel/01-home; then mount -o noatime /dev/disk/by-partlabel/01-home /mnt else # Fails if no local partition is found - test -e /dev/disk/by-partlabel/01-tmp-home || exit 1 + test -e /dev/disk/by-partlabel/01-tmp-home # We don't care about data consistency since the partition is temporary so disable journaling /sbin/mke2fs -t ext4 -O ^has_journal -F /dev/disk/by-partlabel/01-tmp-home diff --git a/sh/debian/ubuntu/system/usr/local/bin/reset_home b/sh/debian/ubuntu/system/usr/local/bin/reset_home index 14383b2a..d7dfd145 100755 --- a/sh/debian/ubuntu/system/usr/local/bin/reset_home +++ b/sh/debian/ubuntu/system/usr/local/bin/reset_home @@ -21,5 +21,4 @@ loginctl terminate-user student sleep 0.1 umount /home/student/.cache /home/student /mnt -umount /dev/disk/by-partlabel/01-home ||: /usr/sbin/wipefs -a /dev/disk/by-partlabel/01-tmp-home