diff options
Diffstat (limited to 'gnu/bootloader')
| -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 8371888fa58..06856dd58c8 100644 --- a/gnu/bootloader/grub.scm +++ b/gnu/bootloader/grub.scm | |||
| @@ -397,6 +397,7 @@ submenu \"GNU system, old configurations...\" {~%") | |||
| 397 | ;; root partition. | 397 | ;; root partition. |
| 398 | (setenv "GRUB_ENABLE_CRYPTODISK" "y") | 398 | (setenv "GRUB_ENABLE_CRYPTODISK" "y") |
| 399 | (unless (zero? (system* grub-install "--boot-directory" install-dir | 399 | (unless (zero? (system* grub-install "--boot-directory" install-dir |
| 400 | "--bootloader-id=GuixSD" | ||
| 400 | "--efi-directory" target-esp)) | 401 | "--efi-directory" target-esp)) |
| 401 | (error "failed to install GRUB (EFI)"))))) | 402 | (error "failed to install GRUB (EFI)"))))) |
| 402 | 403 | ||