--- Begin Message ---
Subject: |
bootloader: extlinux: Fix menu support with u-boot. |
Date: |
Fri, 11 May 2018 15:02:01 -0700 |
The following patch adds a title to the menu used with extlinux
configuration files. Without this, u-boot does not present a menu and
simply selects the first option to boot. It also just looks nicer.
live well,
vagrant
From 96133cefceb6ef41a788daa30abf2f8c8d0aaa62 Mon Sep 17 00:00:00 2001
From: Vagrant Cascadian <address@hidden>
Date: Fri, 11 May 2018 14:48:20 -0700
Subject: [PATCH] bootloader: extlinux: Fix menu support with u-boot.
* gnu/bootloader/extlinux.scm (extlinux-configuration-file): Set MENU TITLE in
generated extlinux.conf.
---
gnu/bootloader/extlinux.scm | 1 +
1 file changed, 1 insertion(+)
diff --git a/gnu/bootloader/extlinux.scm b/gnu/bootloader/extlinux.scm
index f7820a37a..8b7a95a6f 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)
--
2.11.0
signature.asc
Description: PGP signature
--- End Message ---
--- Begin Message ---
Subject: |
Re: [bug#31425] bootloader: extlinux: Fix menu support with u-boot. |
Date: |
Sat, 12 May 2018 09:38:49 +0200 |
Pushed to master as afca98ff01e036594778ab687f472ef5d759f653.
Thanks!
pgp450kP1xuzi.pgp
Description: OpenPGP digital signature
--- End Message ---