From e4b0b93a374f80c6ecb60cee21b7bcf813d18188 Mon Sep 17 00:00:00 2001 From: "David M. Syzdek" Date: Mon, 7 May 2018 14:58:41 -0800 Subject: Adding documentation stub to grub configs --- src/grub/Makefile.grub | 4 +++- src/grub/grub-header.cfg | 17 ++++++++++++++++- 2 files changed, 19 insertions(+), 2 deletions(-) diff --git a/src/grub/Makefile.grub b/src/grub/Makefile.grub index 299a143..bd92939 100644 --- a/src/grub/Makefile.grub +++ b/src/grub/Makefile.grub @@ -65,9 +65,11 @@ var/config/grub.inc: Makefile.config $(SYSLINUX_INC_DEPS) boot/grub/grub.cfg: Makefile var/config/grub.inc src/grub/grub-header.cfg @mkdir -p boot/grub - cat \ + @echo 'do_subst src/grub/grub-header.cfg var/config/grub.inc > $(@)'; + @$(do_subst) \ src/grub/grub-header.cfg \ var/config/grub.inc \ + | sed -e "s,[@]SYSLINUX_FLAVOR[@],iso/UEFI,g" \ > "$(@)" \ || { rm -f "$(@)"; exit 1; } @touch "$(@)" diff --git a/src/grub/grub-header.cfg b/src/grub/grub-header.cfg index f3caa57..c551387 100644 --- a/src/grub/grub-header.cfg +++ b/src/grub/grub-header.cfg @@ -9,6 +9,8 @@ set pager=1 # customize terminal terminfo -u serial vt100-color +set color_normal="white/blue" +set color_highlight="white/light-gray" set menu_color_normal="white/blue" set menu_color_highlight="white/light-gray" @@ -21,8 +23,21 @@ insmod diskfilter insmod parttool insmod probe +# Documentation +menuentry --hotkey=r "IP Engineering Rescue Disk (@IPERD_VERSION@) [@DATE@]" { + cat /README.md +} +submenu --hotkey=d "Documentation (@SYSLINUX_FLAVOR@)" { + menuentry --hotkey=o "Overview" { + cat /doc/overview.md + } + menuentry --hotkey=s "Serial Console" { + cat /doc/serial-console.md + } +} + # Grub options -submenu --hotkey=g "Grub 2 (UEFI/ISO)" { +submenu --hotkey=g "Grub Modules (UEFI/ISO)" { menuentry --hotkey=p 'List ACPI' { lsacpi } -- cgit v1.2.3