diff options
Diffstat (limited to 'share/bootloaders/grub-pc/grub.cfg')
| -rw-r--r-- | share/bootloaders/grub-pc/grub.cfg | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/share/bootloaders/grub-pc/grub.cfg b/share/bootloaders/grub-pc/grub.cfg index 0cfe15bf5..6aedbe420 100644 --- a/share/bootloaders/grub-pc/grub.cfg +++ b/share/bootloaders/grub-pc/grub.cfg @@ -28,31 +28,31 @@ insmod play play 960 440 1 0 4 440 1 # Live boot -LINUX_LIVE +@LINUX_LIVE@ # You can add more entries like this # menuentry "Alternate live boot" { -# linux KERNEL_LIVE APPEND_LIVE custom options here -# initrd INITRD_LIVE +# linux @KERNEL_LIVE@ @APPEND_LIVE@ custom options here +# initrd @INITRD_LIVE@ # } # menuentry "Alternate graphical installer" { -# linux KERNEL_GI APPEND_GI custom options here -# initrd INITRD_GI +# linux @KERNEL_GI@ @APPEND_GI@ custom options here +# initrd @INITRD_GI@ # } # menuentry "Alternate textual installer" { -# linux KERNEL_DI APPEND_DI custom options here -# initrd INITRD_DI +# linux @KERNEL_DI@ @APPEND_DI@ custom options here +# initrd @INITRD_DI@ # } # Installer (if any) -LINUX_INSTALL +@LINUX_INSTALL@ submenu 'Advanced options...' { # More installer entries (if any) -LINUX_ADVANCED_INSTALL +@LINUX_ADVANCED_INSTALL@ # Memtest (if any) -MEMTEST +@MEMTEST@ } |