diff options
Diffstat (limited to 'src/partvi')
-rwxr-xr-x | src/partvi | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -308,6 +308,11 @@ copy_data_to_mounted_target_filesystems() | |||
308 | esac | 308 | esac |
309 | } | 309 | } |
310 | 310 | ||
311 | sanity_check() | ||
312 | { | ||
313 | grep -q samizdat "$BOOT_DIR"/grub/grub.cfg | ||
314 | } | ||
315 | |||
311 | shopt -s nullglob | 316 | shopt -s nullglob |
312 | PATH=/sbin:$PATH | 317 | PATH=/sbin:$PATH |
313 | 318 | ||
@@ -373,7 +378,7 @@ trap cleanup EXIT | |||
373 | $sudo kpartx -su "$whole" | 378 | $sudo kpartx -su "$whole" |
374 | 379 | ||
375 | iterate_partitions copy_data_to_mounted_target_filesystems | 380 | iterate_partitions copy_data_to_mounted_target_filesystems |
376 | 381 | sanity_check | |
377 | time loudly $sudo eatmydata -- grub-install --boot-directory="$BOOT_DIR" "$whole" --target=i386-pc | 382 | time loudly $sudo eatmydata -- grub-install --boot-directory="$BOOT_DIR" "$whole" --target=i386-pc |
378 | time loudly $sudo eatmydata -- grub-install --boot-directory="$BOOT_DIR" "$whole" --target=x86_64-efi --removable --efi-directory="$EFI_DIR" || true | 383 | time loudly $sudo eatmydata -- grub-install --boot-directory="$BOOT_DIR" "$whole" --target=x86_64-efi --removable --efi-directory="$EFI_DIR" || true |
379 | 384 | ||