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 /berlin.guixsd.org.pub | |
| 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>
Diffstat (limited to 'berlin.guixsd.org.pub')
0 files changed, 0 insertions, 0 deletions