← Back to context

Comment by CyberShadow

8 years ago

It is absolutely relevant. In your very comment, you are confusing what a file and a file name is.

To rephrase: just because the FILE is open, doesn't mean that you shouldn't be able to remove a FILE NAME that references the FILE.

> as a user, because I don't want to worry about open files being possibly deleted from disk

Open files can still usually be renamed (and moved across the same volume), so a file name of an open file can still be effectively removed.