From be3f8196109347fed1c48a1394d8de8321b12880 Mon Sep 17 00:00:00 2001 From: Michael Prokop Date: Fri, 13 Jul 2018 15:18:17 +0200 Subject: [PATCH] Suppress message if /boot/efi isn't considered a mountpoint Avoid the misleading error message if efi support isn't present, by redirecting stderr to /dev/null as well. --- chroot-script | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/chroot-script b/chroot-script index 7d8c6d2..6d396b2 100755 --- a/chroot-script +++ b/chroot-script @@ -637,7 +637,7 @@ grub_install() { return 1 fi - mountpoint /boot/efi >/dev/null && umount /boot/efi + mountpoint /boot/efi &>/dev/null && umount /boot/efi $UPDATEGRUB } -- 2.1.4