darcs

Issue 196 case-insensitive filesystems confuse darcs

Title case-insensitive filesystems confuse darcs
Priority bug Status resolved
Milestone Resolved in
Superseder Nosy List darcs-devel, dhess, dmitry.kurochkin, eivuokko, jaredj, kowey, markstos, rgm, thorkilnaur, tommy, wglozer, zooko
Assigned To
Topics Mac, Windows

Created on 2006-07-03.20:22:59 by dhess, last changed 2009-10-24.00:06:59 by admin.

Messages
msg728 (view) Author: dhess Date: 2006-07-03.20:22:56
I'm not sure if this is still possible in the latest release, but if:

1) you do a darcs remove and then a darcs add of a filename that  
differs in case only
2) you record the patch and darcs happesn to place the addfile before  
the rmfile in the patch
3) the patch will fail when darcs get is done to a case insensitive  
file system (i.e. Linux to Windows over ssh)

Suggest ordering rmfiles above addfiles in the patch when the  
filename differs in case.

Dave

------
David K. Hess
Verscend Technologies, Inc.
dhess@verscend.com
214-684-5448
msg1502 (view) Author: kowey Date: 2007-03-06.07:47:58
This is part of a general issue.  I suggest that future such bugs refer to this one.

Dave: I'm marking this in-progress, but don't get your hopes up; I'm only using
it to mean that we (roughly) know how to fix it.

Quoting David Roundy (issue404):
I believe this is a known issue, when the history of the repository
contains states that can't be represented on case-insensitive filesystems.
We plan to (some day) implement a new kind of database-stored pristine
cache, which should make this work.
msg2349 (view) Author: markstos Date: 2008-01-07.04:52:16
Is this "resolved-in-unstable", now that "pristine.hashed" no longer stores
regular files? 

dhess, if you are still are still out there, would you be able to test with a
darcs built from the unstable repo?
msg2369 (view) Author: droundy Date: 2008-01-08.20:59:25
On Mon, Jan 07, 2008 at 04:52:16AM -0000, Mark Stosberg wrote:
> Is this "resolved-in-unstable", now that "pristine.hashed" no longer stores
> regular files? 

Indeed, it should be resolved--users need only use --hashed or --darcs-2
formats.
-- 
David Roundy
Department of Physics
Oregon State University
msg2970 (view) Author: zooko Date: 2008-01-31.13:10:58
I just tried the following:

darcs --hashed --verbose --debug-verbose http://darcs.haskell.org/ghc

with darcs-2.  It failed in the same way that darcs-1 fails with this repository:

darcs failed:  File './ghc/includes/RtsTypes.h' already exists!

When attempting to apply patch 11 of 17865.

There already exists a file named "ghc/includes/rtsTypes.lh".

So perhaps this bug isn't fixed?

The same thing happens on Mac and on Windows.
msg2971 (view) Author: zooko Date: 2008-01-31.13:11:31
Sorry -- the command that I tried was of course:

darcs get --hashed --verbose --debug-verbose http://darcs.haskell.org/ghc
msg2978 (view) Author: droundy Date: 2008-01-31.16:14:00
Thanks for the test, Zooko! I think I've just fixed this.  Could you give it
another shot in an hour or so (or any time later than that, but after the
patches arrive anyhow)? Thanks!
msg2989 (view) Author: zooko Date: 2008-01-31.16:58:34
On Jan 31, 2008, at 9:14 AM, David Roundy wrote:

> Thanks for the test, Zooko! I think I've just fixed this.  Could  
> you give it
> another shot in an hour or so (or any time later than that, but  
> after the
> patches arrive anyhow)? Thanks!

Well, I can try it on Mac, where I can build darcs myself, but I  
haven't yet been able to build darcs myself on Windows (given that I  
want to build it using a ghc that I've built myself after first  
porting ghc to cygwin...).

So I encountered this bug in the attempt to get ghc so that I could  
port it to cygwin, actually.  :-)

--Z
msg2994 (view) Author: droundy Date: 2008-01-31.18:07:22
Yikes.  Porting ghc to cygwin sounds scary.  But testing this on the mac should
be sufficient to close the bug.  Thanks, Zooko! (And good luck compiling ghc!)
msg3510 (view) Author: markstos Date: 2008-02-16.22:10:16
This bug is believed to be resolved, according to David. Further testing on a
case insensitive file-system would still be helpful.
History
Date User Action Args
2006-07-03 20:22:59dhesscreate
2006-07-03 20:45:23droundysetnosy: droundy, tommy, dhess
2007-03-06 07:43:19koweylinkissue404 superseder
2007-03-06 07:48:19koweysetstatus: unread -> has-patch
nosy: + kowey, beschmi
messages: + msg1502
title: Problem with darcs remove and darcs add of file that differs in case -> case-insensitive filesystems confuse darcs
2007-03-06 07:52:39koweylinkissue377 superseder
2008-01-07 04:52:17markstossettopic: + Windows
nosy: + markstos, wglozer, eivuokko, rgm, jaredj
messages: + msg2349
2008-01-08 20:59:30droundysetnosy: markstos, wglozer, eivuokko, dhess, rgm, droundy, tommy, kowey, beschmi, jaredj
messages: + msg2369
2008-01-08 21:01:58markstossetstatus: has-patch -> resolved-in-unstable
nosy: markstos, wglozer, eivuokko, droundy, rgm, dhess, tommy, kowey, beschmi, jaredj
2008-01-19 05:39:57markstoslinkissue234 superseder
2008-01-31 13:11:02zookosetstatus: resolved-in-unstable -> unknown
nosy: + zooko
topic: + Mac
messages: + msg2970
2008-01-31 13:11:31zookosetnosy: droundy, tommy, beschmi, kowey, markstos, wglozer, zooko, eivuokko, dhess, rgm, jaredj
messages: + msg2971
2008-01-31 16:14:03droundysetnosy: droundy, tommy, beschmi, kowey, markstos, wglozer, zooko, eivuokko, dhess, rgm, jaredj
messages: + msg2978
2008-01-31 16:58:35zookosetnosy: + robmoss
messages: + msg2989
2008-01-31 18:07:24droundysetnosy: droundy, tommy, beschmi, kowey, markstos, wglozer, zooko, eivuokko, dhess, robmoss, rgm, jaredj
messages: + msg2994
2008-02-16 22:10:17markstossetstatus: unknown -> resolved-in-unstable
nosy: droundy, tommy, beschmi, kowey, markstos, wglozer, zooko, eivuokko, dhess, robmoss, rgm, jaredj
messages: + msg3510
2008-09-04 21:28:32adminsetstatus: resolved-in-unstable -> resolved
nosy: + dagit
2009-08-06 17:39:17adminsetnosy: + jast, Serware, dmitry.kurochkin, darcs-devel, mornfall, simon, thorkilnaur, - droundy, wglozer, eivuokko, dhess, robmoss, rgm, jaredj
2009-08-06 20:36:07adminsetnosy: - beschmi
2009-08-10 21:52:24adminsetnosy: + wglozer, eivuokko, robmoss, rgm, dhess, jaredj, - darcs-devel, jast, Serware, mornfall
2009-08-10 23:54:40adminsetnosy: - dagit
2009-08-25 17:52:58adminsetnosy: + darcs-devel, - simon
2009-08-27 14:04:33adminsetnosy: tommy, kowey, markstos, wglozer, darcs-devel, zooko, eivuokko, dhess, robmoss, rgm, thorkilnaur, jaredj, dmitry.kurochkin
2009-10-23 22:41:36adminsetnosy: - rgm
2009-10-24 00:06:59adminsetnosy: + rgm, - robmoss