Date: Fri, 7 Mar 2025 18:48:18 +0100
From: Edgar Fu� <e...@math.uni-bonn.de>
Message-ID: <z8sxyp4evrthv...@trav.math.uni-bonn.de>
| I'd just like to know what else I could do in case it was a
| production machine.
Right now, for your development server, probably not.
For production uses, I'd avoid stacked NFS mounts, instead mount
(NFS, and some would say, everything) only directly from the root
filesys, so one hanging cannot prevent an umount of anything else,
and then either use a symlink, or an overlay type mount (null mount)
to make it appear to be where you would prefer it to be mounted, if
not for this kind of issue.
But we should also be fixing our code, so that umount -f *never* fails
(for anything except the root), no matter what else happens (the -R
just stops the umount program from causing issues).
kre
