diff options
author | Andrew Cady <d@jerkface.net> | 2023-06-14 15:19:48 -0400 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2023-06-14 15:19:48 -0400 |
commit | e3876ae7b7dec101895922a53e162d71ee17c2d0 (patch) | |
tree | cea41197f53c5e26ddc644cdec82a364c6db35d9 | |
parent | 31cc2310d56e088686217c728584c24550f161e2 (diff) |
fixup! experimental grub simplification
-rwxr-xr-x | src/partvi | 8 |
1 files changed, 1 insertions, 7 deletions
@@ -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/ |