diff options
author | Stefan Mühlinghaus <jazzman@alphabreed.com> | 2015-02-20 22:12:18 +0100 |
---|---|---|
committer | Stefan Mühlinghaus <jazzman@alphabreed.com> | 2015-02-20 22:12:18 +0100 |
commit | 03b9a7b424dafa0a7f3e6c026155bccbe2d7105e (patch) | |
tree | 49906f8bd38243578efb4c5419b657895d5c55a1 /installer.sh.in | |
parent | ca8d1ff70bbd4ffbb3538c919e17642927f571b4 (diff) | |
download | hrmpf-03b9a7b424dafa0a7f3e6c026155bccbe2d7105e.tar.gz hrmpf-03b9a7b424dafa0a7f3e6c026155bccbe2d7105e.tar.xz hrmpf-03b9a7b424dafa0a7f3e6c026155bccbe2d7105e.zip |
Option not to install a bootloader
Diffstat (limited to 'installer.sh.in')
-rw-r--r-- | installer.sh.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/installer.sh.in b/installer.sh.in index e881e25..13fa55b 100644 --- a/installer.sh.in +++ b/installer.sh.in @@ -419,7 +419,7 @@ set_rootpassword() { menu_bootloader() { while true; do DIALOG --title " Select the disk to install the bootloader" \ - --menu "$MENULABEL" ${MENUSIZE} $(show_disks) + --menu "$MENULABEL" ${MENUSIZE} $(show_disks) none "Manage bootloader otherwise" if [ $? -eq 0 ]; then set_option BOOTLOADER "$(cat $ANSWER)" BOOTLOADER_DONE=1 @@ -433,6 +433,8 @@ menu_bootloader() { set_bootloader() { local dev=$(get_option BOOTLOADER) grub_args= + if [ "$dev" = "none" ]; then return; fi + # Check if it's an EFI system via efivars module. if [ -n "$EFI_SYSTEM" ]; then grub_args="--target=x86_64-efi --efi-directory=/boot/efi --bootloader-id=void_grub --recheck" |