[darcs-users] [patch360] Solve issue1923: bad source warning mechanism warns ab...

Adolfo Builes bugs at darcs.net
Sun Sep 5 16:56:28 UTC 2010


Adolfo Builes <builes.adolfo at googlemail.com> added the comment:

On Tue, Aug 24, 2010 at 3:49 AM, Petr Ročkai <bugs at darcs.net> wrote:
>
> Petr Ročkai <me at mornfall.net> added the comment:
>
> For all I can tell, the patch breaks this scenario (I haven't tried, but
> it looks like it would):
>
> mkdir x
> darcs init --repo x
> echo x > x/x
> darcs rec -lam x --repo x
> darcs get x y --lazy
> darcs get y z --lazy
> rm -rf y
> darcs chan -v --repo z
>
You are right, it does break that scenario.

What we shouldn't copy are the local entries in source from the repo
we are puling from, if it is remote.

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch360>
__________________________________


More information about the darcs-users mailing list