Thus Eben King hast written on Tue, Feb 24, 2009 at 12:56:08AM -0500, and, according to prophecy, it shall come to pass that:
> eben@pc:~$ sudo umount /misc/scratch/
> umount: /misc/scratch: device is busy
> umount: /misc/scratch: device is busy
For what it's worth, generally when I run into this problem, it's because
I'm running something like `vi /etc/hosts` that was started in
/misc/scratch/foo. So the file being edited is unrelated, but there's
something that has it's current working directory inside the mountpoint.
-----------------------------------------------------------------------
This list is provided as an unmoderated internet service by Networked
Knowledge Systems (NKS). Views and opinions expressed in messages
posted are those of the author and do not necessarily reflect the
official policy or position of NKS or any of its employees.
This archive was generated by hypermail 2.1.3 : Fri Aug 01 2014 - 18:58:53 EDT