diff options
| author | Vagrant Cascadian <vagrant@debian.org> | 2018-05-11 15:02:01 -0700 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2018-05-12 09:37:35 +0200 |
| commit | afca98ff01e036594778ab687f472ef5d759f653 (patch) | |
| tree | 17b0b33f65261c060929e471c6ae6fa9651fe255 | |
| parent | 2c5289b2635c911b467455935d63cff78f53c60f (diff) | |
| download | patches-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>
| -rw-r--r-- | gnu/bootloader/extlinux.scm | 1 |
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) |