[Info-vax] How to delete directory someone created in my directory

[G Cornelius]

Christopher Lusardi wrote:
> (1) Some one created a directory in my directory and I can not delete
> it. I also cannot change the protections of the directory. How do I
> delete it.

Do a $ SET FILE/REMOVE on your own directory, then recreate it...?
[requires write access to parent directory].

Actually, this type of problem is the reason we have system
managers.  I suggest you track him down.

He will no doubt want to find the culprit (assuming it was not
the system manager himself) who used privileges to create the
directory to begin with.

You did not have your directory set up for world write, or in
some other way set it up to allow this to happen, I presume?

> (2) How do I delete a non-empty directory.

You do not want to.

But if absolutely necessary, look into $ SET FILE/NODIRECTORY.

Of course, if you applied that command to your own directory, you
could probably hack the directory to remove the entry, then set it
back to being a directory again.

-- 
George Cornelius             cornelius a t eisner d o t decus d o t org

> Thank you,
> Chris