summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Cady <d@jerkface.net>2023-06-14 15:19:48 -0400
committerAndrew Cady <d@jerkface.net>2023-06-14 15:19:48 -0400
commite3876ae7b7dec101895922a53e162d71ee17c2d0 (patch)
treecea41197f53c5e26ddc644cdec82a364c6db35d9
parent31cc2310d56e088686217c728584c24550f161e2 (diff)
fixup! experimental grub simplification
-rwxr-xr-xsrc/partvi8
1 files changed, 1 insertions, 7 deletions
diff --git a/src/partvi b/src/partvi
index 0db57cb..a303b4f 100755
--- a/src/partvi
+++ b/src/partvi
@@ -295,13 +295,7 @@ copy_data_to_mounted_target_filesystems()
295 boot) 295 boot)
296 BOOT_DIR=$mnt 296 BOOT_DIR=$mnt
297 $sudo rsync -a --info=STATS /boot/ "$mnt"/ 297 $sudo rsync -a --info=STATS /boot/ "$mnt"/
298 while mountpoint -q /boot 298 $sudo systemd-run -p BindPaths="$(realpath -e "$mnt"):/boot" --wait update-grub
299 do
300 $sudo umount /boot
301 done
302 $sudo mount --bind "$mnt" /boot
303 $sudo update-grub
304 $sudo umount /boot
305 ;; 299 ;;
306 samizdat-keys) 300 samizdat-keys)
307 $sudo rsync -a --info=STATS "$GPG_INPUT_DIR"/ "$mnt"/gnupghome/ 301 $sudo rsync -a --info=STATS "$GPG_INPUT_DIR"/ "$mnt"/gnupghome/