[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#27705] [PATCH 4/4] install: Use grub-efi.
|
From: |
Danny Milosavljevic |
|
Subject: |
[bug#27705] [PATCH 4/4] install: Use grub-efi. |
|
Date: |
Sat, 15 Jul 2017 15:37:56 +0200 |
* gnu/system/install.scm (installation-os): Use grub-efi.
---
gnu/system/install.scm | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/gnu/system/install.scm b/gnu/system/install.scm
index f9aa7f673..97cc0c9f6 100644
--- a/gnu/system/install.scm
+++ b/gnu/system/install.scm
@@ -299,7 +299,8 @@ Use Alt-F2 for documentation.
(host-name "gnu")
(timezone "Europe/Paris")
(locale "en_US.utf8")
- (bootloader (grub-configuration
+ (bootloader (bootloader-configuration
+ (bootloader grub-efi-bootloader)
(device "/dev/sda")))
(file-systems
;; Note: the disk image build code overrides this root file system with