diff options
author | Juan RP <xtraeme@gmail.com> | 2015-02-21 10:02:22 +0100 |
---|---|---|
committer | Juan RP <xtraeme@gmail.com> | 2015-02-21 10:02:22 +0100 |
commit | a5e1dabeb7137b263216ea755cc4b7f9cdaffcd7 (patch) | |
tree | 49906f8bd38243578efb4c5419b657895d5c55a1 | |
parent | ca8d1ff70bbd4ffbb3538c919e17642927f571b4 (diff) | |
parent | 03b9a7b424dafa0a7f3e6c026155bccbe2d7105e (diff) | |
download | hrmpf-a5e1dabeb7137b263216ea755cc4b7f9cdaffcd7.tar.gz hrmpf-a5e1dabeb7137b263216ea755cc4b7f9cdaffcd7.tar.xz hrmpf-a5e1dabeb7137b263216ea755cc4b7f9cdaffcd7.zip |
Merge pull request #19 from teh-jazzman/master
Option not to install a bootloader
-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" |