aboutsummaryrefslogtreecommitdiff
path: root/gnu/system
diff options
context:
space:
mode:
authorLeo Famulari <leo@famulari.name>2017-05-15 15:32:25 -0400
committerLeo Famulari <leo@famulari.name>2017-05-15 16:22:17 -0400
commitc48a145fbb613ac2b623f0a11278848923b312f1 (patch)
treebb7f20a5df63fabcc05a76b2bd5e0859e053dfbe /gnu/system
parenta62446987ebc6ae9a19bd9aa28b7625902864438 (diff)
downloadguix-c48a145fbb613ac2b623f0a11278848923b312f1.tar
guix-c48a145fbb613ac2b623f0a11278848923b312f1.tar.gz
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.
Diffstat (limited to 'gnu/system')
-rw-r--r--gnu/system/grub.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/system/grub.scm b/gnu/system/grub.scm
index 97081d8485..85878de85c 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)