Re: Question about handling file deletion

[Stefan Monnier]

> I'm not sure I understand what you mean by "reference to the lost file".

I meant it in a very general way.  E.g. a buffer whose buffer-file-name
points to this file.  Or the presence of this file name in a list of
files somewhere.

> The Todo mode state includes a list of all todo files, which is exposed
> to users for e.g. minibuffer completion.  If a file is deleted from
> outside of Todo mode, this list won't be updated, so in that sense it
> contains a "reference to the lost file", which the user can see.

That seems harmless.

> But while the user presumably knows the file is missing, Todo mode
> doesn't, and that can lead to errors, especially if a live buffer is
> still holding the content of the deleted file and the user calls
> a Todo command to manipulate the buffer.

What kind of errors?


        Stefan