summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorVagrant Cascadian <vagrant@debian.org>2018-05-11 15:02:01 -0700
committerDanny Milosavljevic <dannym@scratchpost.org>2018-05-12 09:37:35 +0200
commitafca98ff01e036594778ab687f472ef5d759f653 (patch)
tree17b0b33f65261c060929e471c6ae6fa9651fe255 /gnu
parent2c5289b2635c911b467455935d63cff78f53c60f (diff)
downloadpatches-afca98ff01e036594778ab687f472ef5d759f653.tar
patches-afca98ff01e036594778ab687f472ef5d759f653.tar.gz
bootloader: extlinux: Fix menu support with u-boot.
* gnu/bootloader/extlinux.scm (extlinux-configuration-file): Set MENU TITLE in generated extlinux.conf. Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
Diffstat (limited to 'gnu')
-rw-r--r--gnu/bootloader/extlinux.scm1
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/bootloader/extlinux.scm b/gnu/bootloader/extlinux.scm
index f7820a37a4..8b7a95a6fc 100644
--- a/gnu/bootloader/extlinux.scm
+++ b/gnu/bootloader/extlinux.scm
@@ -64,6 +64,7 @@ corresponding to old generations of the system."
(format port "# This file was generated from your GuixSD configuration. Any changes
# will be lost upon reconfiguration.
UI menu.c32
+MENU TITLE GuixSD Boot Options
PROMPT ~a
TIMEOUT ~a~%"
(if (> timeout 0) 1 0)