From c48a145fbb613ac2b623f0a11278848923b312f1 Mon Sep 17 00:00:00 2001
From: Leo Famulari <leo@famulari.name>
Date: Mon, 15 May 2017 15:32:25 -0400
Subject: [PATCH] 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 97081d8485c..85878de85c7 100644
--- a/gnu/system/grub.scm
+++ b/gnu/system/grub.scm
@@ -249,8 +249,8 @@ (define font-file
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)
--
GitLab