Re: Optional argument for `file-local-copy'

[Stefan Monnier]

>>> The caller does not need to know whether a file is cached.  File name
>>> handlers implementation shall keep *always* the information about a
>>> local copy of a remote file (the local name, the result of
>>> file-attributes of the remote file).
>> That means that the file-local-copy handlers *always* have to obey
>> REUSE-IF-ALREADY-EXISTS, rather only doing so if they use a cache.
> Well, it does not need to obey that argument.

No: if the handler ignores the argument and the caller doesn't delete
the file, we're left with a garbage file that noone will delete.


        Stefan