diff options
Diffstat (limited to 'src/grub/grub-header.cfg')
| -rw-r--r-- | src/grub/grub-header.cfg | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/src/grub/grub-header.cfg b/src/grub/grub-header.cfg new file mode 100644 index 0000000..f3caa57 --- /dev/null +++ b/src/grub/grub-header.cfg | |||
| @@ -0,0 +1,39 @@ | |||
| 1 | |||
| 2 | # configure serial console | ||
| 3 | serial --unit 0 --speed 9600 | ||
| 4 | terminal_input serial console | ||
| 5 | terminal_output serial console | ||
| 6 | |||
| 7 | # enable pager (when displaying text files) | ||
| 8 | set pager=1 | ||
| 9 | |||
| 10 | # customize terminal | ||
| 11 | terminfo -u serial vt100-color | ||
| 12 | set menu_color_normal="white/blue" | ||
| 13 | set menu_color_highlight="white/light-gray" | ||
| 14 | |||
| 15 | # load partition modules | ||
| 16 | insmod part_gpt | ||
| 17 | insmod part_msdos | ||
| 18 | insmod msdospart | ||
| 19 | insmod lvm | ||
| 20 | insmod diskfilter | ||
| 21 | insmod parttool | ||
| 22 | insmod probe | ||
| 23 | |||
| 24 | # Grub options | ||
| 25 | submenu --hotkey=g "Grub 2 (UEFI/ISO)" { | ||
| 26 | menuentry --hotkey=p 'List ACPI' { | ||
| 27 | lsacpi | ||
| 28 | } | ||
| 29 | menuentry --hotkey=p 'List PCI' { | ||
| 30 | lspci | ||
| 31 | } | ||
| 32 | menuentry --hotkey=r 'Reboot' { | ||
| 33 | reboot | ||
| 34 | } | ||
| 35 | menuentry --hotkey=h 'Halt' { | ||
| 36 | halt | ||
| 37 | } | ||
| 38 | } | ||
| 39 | |||
