summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Cady <d@jerkface.net>2023-06-14 15:19:48 -0400
committeru <u@billy>2023-11-17 08:44:10 -0500
commit9d3167c1474351ccbc8a6f02c894165724efa699 (patch)
tree4731977c7e69dd5b19c82b8fbbee804b1baa6c8d
parentf34258ce281f5484473969c1959147a715dbc787 (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/