Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Microsoft Adds an OpenSSH Client to Windows 10. Parent comment
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.
There are no comments on this comment yet.
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.