diff options
Diffstat (limited to 'share')
| -rw-r--r-- | share/bootloaders/grub-pc/grub.cfg | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/share/bootloaders/grub-pc/grub.cfg b/share/bootloaders/grub-pc/grub.cfg index d4a51e96f..8690b097b 100644 --- a/share/bootloaders/grub-pc/grub.cfg +++ b/share/bootloaders/grub-pc/grub.cfg @@ -45,13 +45,20 @@ play 960 440 1 0 4 440 1 # } # Installer (if any) +if @ENABLE_INSTALL_MENU@; then + @LINUX_INSTALL@ -submenu 'Advanced options...' --hotkey=a { +submenu 'Advanced install options...' { # More installer entries (if any) @LINUX_ADVANCED_INSTALL@ +} +fi + +submenu 'Advanced options...' --hotkey=a { + # Memtest (if any) @MEMTEST@ |