Niels Thykier dixit:
For safety, I would recommend always doing umount, if that fails but mountpoint
says the path is not a mountpoint, then it can progress.
There’s also the option of getting a fresh view of the sub-mounts
from /proc/mounts; see e.g. the debchroot_umtree code in
https://evolvis.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=shellsnippets/shellsnippets.git;a=blob;f=posix/sysadmin/debchroot.sh;hb=HEAD
which umounts everything under a given directory (in reverse order)
and is even POSIX sh. I’m in the position to dual-licence that if
needed.
bye,
//mirabilos
--
When he found out that the m68k port was in a pretty bad shape, he did
not, like many before him, shrug and move on; instead, he took it upon
himself to start compiling things, just so he could compile his shell.
How's that for dedication. -- Wouter, about my Debian/m68k revival
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)