aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorDavid M. Syzdek <david@syzdek.net>2018-05-07 14:58:41 -0800
committerDavid M. Syzdek <david@syzdek.net>2018-05-07 14:58:41 -0800
commite4b0b93a374f80c6ecb60cee21b7bcf813d18188 (patch)
tree84f7ddf5aa70230679f477ed57c3f64d429c967c
parent3f4253bc8799f82a250ab2376ab381a756782936 (diff)
downloadiperd-e4b0b93a374f80c6ecb60cee21b7bcf813d18188.tar.gz
iperd-e4b0b93a374f80c6ecb60cee21b7bcf813d18188.tar.bz2
iperd-e4b0b93a374f80c6ecb60cee21b7bcf813d18188.tar.xz
iperd-e4b0b93a374f80c6ecb60cee21b7bcf813d18188.zip
Adding documentation stub to grub configs
-rw-r--r--src/grub/Makefile.grub4
-rw-r--r--src/grub/grub-header.cfg17
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)
65 65
66boot/grub/grub.cfg: Makefile var/config/grub.inc src/grub/grub-header.cfg 66boot/grub/grub.cfg: Makefile var/config/grub.inc src/grub/grub-header.cfg
67 @mkdir -p boot/grub 67 @mkdir -p boot/grub
68 cat \ 68 @echo 'do_subst src/grub/grub-header.cfg var/config/grub.inc > $(@)';
69 @$(do_subst) \
69 src/grub/grub-header.cfg \ 70 src/grub/grub-header.cfg \
70 var/config/grub.inc \ 71 var/config/grub.inc \
72 | sed -e "s,[@]SYSLINUX_FLAVOR[@],iso/UEFI,g" \
71 > "$(@)" \ 73 > "$(@)" \
72 || { rm -f "$(@)"; exit 1; } 74 || { rm -f "$(@)"; exit 1; }
73 @touch "$(@)" 75 @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
9 9
10# customize terminal 10# customize terminal
11terminfo -u serial vt100-color 11terminfo -u serial vt100-color
12set color_normal="white/blue"
13set color_highlight="white/light-gray"
12set menu_color_normal="white/blue" 14set menu_color_normal="white/blue"
13set menu_color_highlight="white/light-gray" 15set menu_color_highlight="white/light-gray"
14 16
@@ -21,8 +23,21 @@ insmod diskfilter
21insmod parttool 23insmod parttool
22insmod probe 24insmod probe
23 25
26# Documentation
27menuentry --hotkey=r "IP Engineering Rescue Disk (@IPERD_VERSION@) [@DATE@]" {
28 cat /README.md
29}
30submenu --hotkey=d "Documentation (@SYSLINUX_FLAVOR@)" {
31 menuentry --hotkey=o "Overview" {
32 cat /doc/overview.md
33 }
34 menuentry --hotkey=s "Serial Console" {
35 cat /doc/serial-console.md
36 }
37}
38
24# Grub options 39# Grub options
25submenu --hotkey=g "Grub 2 (UEFI/ISO)" { 40submenu --hotkey=g "Grub Modules (UEFI/ISO)" {
26 menuentry --hotkey=p 'List ACPI' { 41 menuentry --hotkey=p 'List ACPI' {
27 lsacpi 42 lsacpi
28 } 43 }