4 ms·
Not useful in your case, but I've made a habit of using rmdir when removing directories that I think might be mounted.
by endgame 15y ago
Not useful in your case, but I've made a habit of using rmdir when removing directories that I think might be mounted.