diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2014-04-16 19:36:59 +0200 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2015-06-07 04:28:06 +0200 |
commit | fb7da2da82b4d90f23d6270d2e64823a8ce6d4b0 (patch) | |
tree | da5e0362392d094a1c81b1653a91755fd850f5ea /include | |
parent | 946afd41599cd999e51074b6bd66ac91463ece1f (diff) |
Force grub to be installed on devices other than /dev/sda if asked to.
This is a dirty fix for #666974 (which is fixed in Jessie's installer).
Diffstat (limited to 'include')
-rwxr-xr-x | include/partition.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/include/partition.sh b/include/partition.sh index eed6db9..a7d2a72 100755 --- a/include/partition.sh +++ b/include/partition.sh @@ -81,8 +81,9 @@ encrypt=$RET # Install GRUB on the first device in case of an array -db_set grub-installer/bootdev "${device%% *}" -db_fset grub-installer/bootdev seen true +db_set grub-installer/bootdev "${device%% *}" +db_fset grub-installer/bootdev seen true +db_set grub-installer/only_debian false # dirty fix for #666974 part_boot= part_system= |