From be10aa099212c88842728056cc066ef2ab001a07 Mon Sep 17 00:00:00 2001
From: xpetit <32063953+xpetit@users.noreply.github.com>
Date: Wed, 2 Jun 2021 16:56:15 +0200
Subject: [PATCH] Remove useless lines

---
 sh/debian/ubuntu/system/etc/gdm3/PostLogin/Default | 2 +-
 sh/debian/ubuntu/system/usr/local/bin/reset_home   | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/sh/debian/ubuntu/system/etc/gdm3/PostLogin/Default b/sh/debian/ubuntu/system/etc/gdm3/PostLogin/Default
index 4cdf6f052..2181a706d 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 14383b2a8..d7dfd1455 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