[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/01: system: grub: Actually default to 'gfxterm' for displaying the GR
From: |
Leo Famulari |
Subject: |
01/01: system: grub: Actually default to 'gfxterm' for displaying the GRUB menu. |
Date: |
Mon, 15 May 2017 16:24:45 -0400 (EDT) |
lfam pushed a commit to branch master
in repository guix.
commit c48a145fbb613ac2b623f0a11278848923b312f1
Author: Leo Famulari <address@hidden>
Date: Mon May 15 15:32:25 2017 -0400
system: grub: Actually default to 'gfxterm' for displaying the GRUB menu.
This is a followup to commit e0b2e93005188ab4d6c7413a27832ba2fb7388e8.
* gnu/system/grub.scm (eye-candy): Re-order the elements of the generated
GRUB configuration.
---
gnu/system/grub.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/system/grub.scm b/gnu/system/grub.scm
index 97081d8..85878de 100644
--- a/gnu/system/grub.scm
+++ b/gnu/system/grub.scm
@@ -249,8 +249,8 @@ else
fi~%"
#$setup-gfxterm-body
#$(grub-root-search store-device font-file)
- #$(grub-setup-io config)
#$(setup-gfxterm config font-file)
+ #$(grub-setup-io config)
#$(strip-mount-point store-mount-point image)
#$(theme-colors grub-theme-color-normal)