umount usage [was: Re: (1.3.22) mount: strange 15 second delay]

[Rolf Campbell]

Christopher Faylor wrote:
> On Thu, Apr 17, 2003 at 07:30:00PM -0400, Rolf Campbell wrote:
>>So, realizing that this may have to do with cygwin trying to access some 
>>mapped drive, and timing out, I tried to use 'umount /w', to remove a mount:
>>umount: /w: No such file or directory
> /w is a user mount.  umount --help should be instructive.
Ok, should've tried that before.  But, in my defence, the output from 
umount was kinda confusing.  I would hope it would say "This is a user 
mount.  Use umount -u to remove this".  And yeah, I know, patches 
gracefully considered, just posting my opinion.

I don't really see why umount shouldn't try to remove it as a user-mount 
and if it isn't, remove it as a system mount (if it can).



--
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple
Problem reports:       http://cygwin.com/problems.html
Documentation:         http://cygwin.com/docs.html
FAQ:                   http://cygwin.com/faq/