[darcs-users] Using Darcs for large projects

[Peter Strand]

Peter Strand wrote:
> David Roundy wrote:
>> On Fri, Jun 18, 2004 at 04:45:55PM +0200, Peter Strand wrote:
>>> David Roundy wrote:
>>>
>>>> [no mmap support in windows]
>>>
>>> The problem is that opened or mapped files cannot be removed, and since
>>> it is the finalizer for FastPackedString that unmaps, we don't know when
>>> it is possible to delete the file.
>> ...
>> I think there may be merit to your idea of keeping track of files to be
>> removed and doing it later.  Could we perhaps simply move them to the
>> Recycle Bin? Or we could create a darcs-internal trash directory, and 
>> move all files there rather than deleting them, and when darcs exits 
>> delete that directory...
> 
> I don't think you can move an open file either :(

I just noticed that it seems like it is possible to move files which has
(just) a mapping open.
At least a trivial test-case works ;)
But I don't know if one can count on it, on every system.

So the "internal trash directory" idea might work.


/Peter