diff options
Diffstat (limited to 'share')
| -rw-r--r-- | share/bootloaders/grub-pc/grub.cfg | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/share/bootloaders/grub-pc/grub.cfg b/share/bootloaders/grub-pc/grub.cfg index 11209a710..fa16737c1 100644 --- a/share/bootloaders/grub-pc/grub.cfg +++ b/share/bootloaders/grub-pc/grub.cfg @@ -47,12 +47,11 @@ play 960 440 1 0 4 440 1 # Installer (if any) if @ENABLE_INSTALL_MENU@; then -@LINUX_INSTALL@ +source /boot/grub/install_start.cfg submenu 'Advanced install options...' --hotkey=a { -# More installer entries (if any) -@LINUX_ADVANCED_INSTALL@ + source /boot/grub/install.cfg } fi |