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

[Stefan Monnier]

> Does "Agreed" means also you agree with the idea of that optional argument?

Thanks for getting us back on track.  Yes, I agree with adding such
a functionality.  But I have the impression that it's not enough: if the
caller doesn't know whether the file is indeed being cached or not, then
it doesn't know whether to delete it or not once it's done using it.



        Stefan