From 234a49dc3bed97d91b6f9c3c05edb14018c97dbc Mon Sep 17 00:00:00 2001
From: Paul Menzel <pmenzel@molgen.mpg.de>
Date: Mon, 3 Sep 2018 09:19:44 +0200
Subject: [PATCH] mxgrub: Fix path to GRUB

---
 mxgrub/mxgrub | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mxgrub/mxgrub b/mxgrub/mxgrub
index 1cbafa2..8fb55be 100755
--- a/mxgrub/mxgrub
+++ b/mxgrub/mxgrub
@@ -314,7 +314,7 @@ sub cmd_install {
 	update_grub_cfg();
 
 	if (is_efi) {
-		if (-d '/boot/efi/EFI/grub/grub.efi') {
+		if (-d '/boot/efi/EFI/grub/grubx64.efi') {
 			print "GRUB for UEFI is already installed.\n";
 		}
 		else {