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/build | |
| 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/build')
| -rw-r--r-- | gnu/build/image.scm | 4 |
1 files changed, 2 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 |