[darcs-devel] [issue196] Problem with darcs remove and darcs add of
file that differs in case
David K. Hess
bugs at darcs.net
Mon Jul 3 13:22:59 PDT 2006
New submission from David K. Hess <dhess at verscend.com>:
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 at verscend.com
214-684-5448
----------
messages: 728
nosy: dhess, droundy, tommy
status: unread
title: Problem with darcs remove and darcs add of file that differs in case
____________________________________
Darcs issue tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue196>
____________________________________
More information about the darcs-devel
mailing list