Suppress message if /boot/efi isn't considered a mountpoint
authorMichael Prokop <mika@grml.org>
Fri, 13 Jul 2018 13:18:17 +0000 (15:18 +0200)
committerMichael Prokop <mika@grml.org>
Fri, 13 Jul 2018 13:19:10 +0000 (15:19 +0200)
Avoid the misleading error message if efi support isn't present,
by redirecting stderr to /dev/null as well.

chroot-script

index 7d8c6d2..6d396b2 100755 (executable)
@@ -637,7 +637,7 @@ grub_install() {
     return 1
   fi
 
     return 1
   fi
 
-  mountpoint /boot/efi >/dev/null && umount /boot/efi
+  mountpoint /boot/efi &>/dev/null && umount /boot/efi
 
   $UPDATEGRUB
 }
 
   $UPDATEGRUB
 }