diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/bootloader/grub.scm | 1 | 
1 files changed, 1 insertions, 0 deletions
| 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)"))))) | 
