Browse Source

Remove useless lines

pull/786/head
xpetit 4 years ago
parent
commit
be10aa0992
No known key found for this signature in database
GPG Key ID: 97C60669182C17A5
  1. 2
      sh/debian/ubuntu/system/etc/gdm3/PostLogin/Default
  2. 1
      sh/debian/ubuntu/system/usr/local/bin/reset_home

2
sh/debian/ubuntu/system/etc/gdm3/PostLogin/Default diff.vendored

@ -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

1
sh/debian/ubuntu/system/usr/local/bin/reset_home diff.vendored

@ -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

Loading…
Cancel
Save