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 | |
| 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.
| -rw-r--r-- | gnu/build/image.scm | 4 | ||||
| -rw-r--r-- | gnu/system/image.scm | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/gnu/build/image.scm b/gnu/build/image.scm index 49faeab466..a8594e202b 100644 --- a/gnu/build/image.scm +++ b/gnu/build/image.scm @@ -146,10 +146,10 @@ deduplicates files common to CLOSURE and the rest of PREFIX." (define* (initialize-efi-partition root #:key - bootloader-package + grub-efi #:allow-other-keys) "Install in ROOT directory, an EFI loader using BOOTLOADER-PACKAGE." - (install-efi-loader bootloader-package root)) + (install-efi-loader grub-efi root)) (define* (initialize-root-partition root #:key 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 |