From 683016907d5eb5b9b526d21e36de28c16ff6e5cc Mon Sep 17 00:00:00 2001 From: Marius Bakke Date: Mon, 25 Jun 2018 22:24:45 +0200 Subject: bootloader: grub-efi: Identify as "GuixSD" instead of "grub". * gnu/bootloader/grub.scm (install-grub-efi): Pass "--bootloader-id" to grub-install. --- gnu/bootloader/grub.scm | 1 + 1 file changed, 1 insertion(+) (limited to 'gnu/bootloader') diff --git a/gnu/bootloader/grub.scm b/gnu/bootloader/grub.scm index 8371888fa5..06856dd58c 100644 --- a/gnu/bootloader/grub.scm +++ b/gnu/bootloader/grub.scm @@ -397,6 +397,7 @@ submenu \"GNU system, old configurations...\" {~%") ;; root partition. (setenv "GRUB_ENABLE_CRYPTODISK" "y") (unless (zero? (system* grub-install "--boot-directory" install-dir + "--bootloader-id=GuixSD" "--efi-directory" target-esp)) (error "failed to install GRUB (EFI)"))))) -- cgit 1.4.1