Re: can't delete /foo

["Jakob 'sparky' Kaivo" <jkaivo@elijah.nodomainname.net>]

Aaron Solochek <aarons@andrew.cmu.edu> writes:

> I created a directory, /foo, which was its own partition.
> 
> I first wanted to change the group of /foo to bar, but it wouldn't let
> me do that, even as root.  I got the error message "operation not
> premitted: /foo"  Then I thought this is screwed up, so I tried to
> delete /foo, but rm -r /foo just says operation not premitted, and it
> doesn't go away.  rm -rf /foo doesn't echo any errors, but it also
> doesn't delete /foo.  Any clue what could be causing this?

/foo has a mounted filesystem on it, so it is therefore "in use". You
aren't allowed (nomrally) to delete files/directories that are in
use. If you want to delte the mount point, first umount the drive.