diff options
author | Mathieu Othacehe <othacehe@gnu.org> | 2020-05-23 19:10:04 +0200 |
---|---|---|
committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-05-29 08:43:20 +0200 |
commit | 05f37c16a3b159e58ce7343383b44073bd6cac9f (patch) | |
tree | 7c4b69fc4a48b1a80edab6f277d22c2041e61a31 /gnu/system | |
parent | 7d4ecda63caa9f566620844dbc800a8158f861a6 (diff) |
image: Use grub-efi to install the EFI bootloader.
* gnu/build/image.scm (initialize-efi-partition): Rename bootloader-package
argument to grub-efi.
* gnu/system/image.scm (system-disk-image): Adapt accordingly to pass
grub-efi package.
Diffstat (limited to 'gnu/system')
-rw-r--r-- | gnu/system/image.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/system/image.scm b/gnu/system/image.scm index 67cf5fdddc..93b95b307b 100644 --- a/gnu/system/image.scm +++ b/gnu/system/image.scm @@ -234,6 +234,7 @@ used in the image." #:references-graphs '#$graph #:deduplicate? #f #:system-directory #$os + #:grub-efi #+grub-efi #:bootloader-package #+(bootloader-package bootloader) #:bootloader-installer |