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" |