Follow-up to #42, which only unmounted /mnt/dev,proc,sys,run. disko also mounts the ESP at /mnt/boot (modules/disko/baremetal.nix), which is another nested mount blocking ZFS from unmounting its own root dataset at /mnt the same way -- confirmed live, zpool export still failed with 'cannot unmount /mnt: pool or dataset busy' even with the chroot-dirs-only fix in place.
Replaces the manual dev/proc/sys/run enumeration with a single recursive 'umount -R /mnt', which clears everything currently nested under /mnt (including /mnt/boot) in one shot, instead of needing to keep chasing whatever nixos-install/disko happen to leave mounted.
Verified with bash -n and scripts/codex-maintenance.sh (clean, only pre-existing documented secret-grep exceptions).
Follow-up to #42, which only unmounted /mnt/dev,proc,sys,run. disko also mounts the ESP at /mnt/boot (modules/disko/baremetal.nix), which is another nested mount blocking ZFS from unmounting its own root dataset at /mnt the same way -- confirmed live, zpool export still failed with 'cannot unmount /mnt: pool or dataset busy' even with the chroot-dirs-only fix in place.
Replaces the manual dev/proc/sys/run enumeration with a single recursive 'umount -R /mnt', which clears everything currently nested under /mnt (including /mnt/boot) in one shot, instead of needing to keep chasing whatever nixos-install/disko happen to leave mounted.
Verified with bash -n and scripts/codex-maintenance.sh (clean, only pre-existing documented secret-grep exceptions).
The previous fix (#42) only unmounted /mnt/{dev,proc,sys,run}, but disko
also mounts the ESP at /mnt/boot (modules/disko/baremetal.nix) -- another
nested mount blocking ZFS from unmounting its own root dataset at /mnt
the same way. Confirmed live: zpool export still failed with "cannot
unmount '/mnt': pool or dataset busy" after the chroot-only fix.
Replace the manual dev/proc/sys/run list with a single recursive
`umount -R /mnt`, which clears everything nested under /mnt -- current
and future mountpoints alike -- rather than needing to keep enumerating
whatever nixos-install/disko happen to leave mounted.
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Follow-up to #42, which only unmounted /mnt/dev,proc,sys,run. disko also mounts the ESP at /mnt/boot (modules/disko/baremetal.nix), which is another nested mount blocking ZFS from unmounting its own root dataset at /mnt the same way -- confirmed live, zpool export still failed with 'cannot unmount /mnt: pool or dataset busy' even with the chroot-dirs-only fix in place.
Replaces the manual dev/proc/sys/run enumeration with a single recursive 'umount -R /mnt', which clears everything currently nested under /mnt (including /mnt/boot) in one shot, instead of needing to keep chasing whatever nixos-install/disko happen to leave mounted.
Verified with bash -n and scripts/codex-maintenance.sh (clean, only pre-existing documented secret-grep exceptions).