[bug#31425] bootloader: extlinux: Fix menu support with u-boot.

[bug#31425] bootloader: extlinux: Fix menu support with u-boot.

[Vagrant Cascadian]

[-- Attachment #1.1: Type: text/plain, Size: 223 bytes --]

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

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1.2: 0001-bootloader-extlinux-Fix-menu-support-with-u-boot.patch --]
[-- Type: text/x-diff, Size: 931 bytes --]

From 96133cefceb6ef41a788daa30abf2f8c8d0aaa62 Mon Sep 17 00:00:00 2001
From: Vagrant Cascadian <vagrant@debian.org>
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


[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 832 bytes --]

bug#31425: bootloader: extlinux: Fix menu support with u-boot.

[Danny Milosavljevic]

[-- Attachment #1: Type: text/plain, Size: 74 bytes --]

Pushed to master as afca98ff01e036594778ab687f472ef5d759f653.

Thanks!

[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 488 bytes --]