[darcs-devel] Filesystem in DB, but data in filesystem

[Ben Coburn]

On Jul 30, 2007, at 10:25, Salvatore Insalaco wrote:

> 2007/7/30, Ben Coburn <btcoburn at silicodon.net>:
>> The name stored in the index is case sensitive, so I don't think  
>> we have to
>> lose case sensitivity.
>
> Unfortunately we do: if a patch tries to create a file named like one
> already existent, but with different case, we have two entries in the
> file index, but the file will get overwritten on the filesystem.
>

You are right, I had not thought this through quite far enough....  
Even if pristine was always case sensitive collisions could happen in  
the working directory.

Does darcs detect and warn about these kind of collisions when run on  
case insensitive file systems? If not, the pristine index could make  
it simpler to check for possible collisions.

P.S. If no one has noticed, www.darcs.net appears to be down again.

Regards, Ben Coburn