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
