From afca98ff01e036594778ab687f472ef5d759f653 Mon Sep 17 00:00:00 2001 From: Vagrant Cascadian Date: Fri, 11 May 2018 15:02:01 -0700 Subject: 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 --- gnu/bootloader/extlinux.scm | 1 + 1 file changed, 1 insertion(+) 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) -- cgit v1.2.3