diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2013-10-11 05:53:23 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2015-06-07 04:27:36 +0200 |
| commit | 051d164d5b213ef1dfaebc5f54fffa858f04dae5 (patch) | |
| tree | 5f3777331418226a880d29c9064944db859c4bbf | |
| parent | 129fca26580ae00989b6311d8d7b92e3d6260ea7 (diff) | |
Ensure that GRUB is installed onto the right device.
| -rwxr-xr-x | partition.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/partition.sh b/partition.sh index a1f0f78..3b12468 100755 --- a/partition.sh +++ b/partition.sh @@ -26,6 +26,8 @@ if [ -d /proc/efi -o -d /sys/firmware/efi ]; then else fripost_mkpart $device bios_grub 8M +bios_grub fi +db_set grub-installer/bootdev $device +db_fset grub-installer/bootdev seen true # Create boot and system partitions part_boot=$( fripost_mkpart $device boot 64M ) |