[darcs-devel] [Fwd: [issue67] Getting a tag giving inconsistent repository.]

Grant Husbands darcsdevel at grant.x43.net
Thu Jan 5 07:36:20 PST 2006


Hi,

It was mentioned to me that I might want to CC the list on this, so 
below's a bug that you may be interested in, as it results in a broken 
repository. It turned out to be less significant than we thought and no 
longer significantly impedes our use of Darcs.

G.

-------- Original Message --------
Subject: [issue67] Getting a tag giving inconsistent repository.
From: Grant Husbands <bugs at darcs.net>
Date: Thu, 05 Jan 2006 11:36:23 +0000

Grant Husbands <darcsbugs2 at grant.x43.net> added the comment:

We've had some success in tracing this issue. It looks like darcs get 
--tag doesn't store the commuted patches. We don't know how to fix it. 
Here's a simple way to reproduce the bug:

$ mkdir repo1
$ cd repo1
[repo1]$ darcs init
[repo1]$ cat >file
1
2
3
4
[repo1]$ darcs add file
[repo1]$ darcs record -a -m 'Added file'
Darcs needs to know what name (conventionally an email address) to use 
as the
(...)

What is your email address? edwint
Finished recording patch 'Added file'
[repo1]$ cat >file
2
3
4
[repo1]$ darcs record -a -m 'Removed line 1'
Finished recording patch 'Removed line 1'
[repo1]$ cat >file
2
4
[repo1]$ darcs record -a -m 'Removed line 3'
Finished recording patch 'Removed line 3'
[repo1]$ cd ..
$ mkdir repo2
$ cd repo2
[repo2]$ darcs init
[repo2]$ darcs pull C:/darcsbug/repo1

Thu Jan  5 11:11:58 GMT 2006  edwint
   * Added file
Shall I pull this patch? (1/3) [ynWvpxqadjk], or ? for help: y


Thu Jan  5 11:12:33 GMT 2006  edwint
   * Removed line 1
Shall I pull this patch? (2/3) [ynWvpxqadjk], or ? for help: n


Thu Jan  5 11:13:13 GMT 2006  edwint
   * Removed line 3
Shall I pull this patch? (3/3) [ynWvpxqadjk], or ? for help: y

Finished pulling and applying.
[repo2]$ darcs tag -m 'Tag'
Darcs needs to know what name (conventionally an email address) to use 
as the
(...)

What is your email address? edwint
Finished tagging patch 'TAG Tag'
[repo2]$ darcs push -a
Pushing to "C:/darcsbug/repo1"...
Finished applying...

[repo2]$ cd ..
$ darcs get --tag='Tag' repo1
Directory 'c:/darcsbug/repo1' already exists, creating repository as
'c:/darcsbug/repo1_0'
Copying patch 4 of 4... done!
Applying patch 1 of 1... done.
Finished getting.
$ cd repo1_0
[repo1_0]$ cat file
1
2
4
[repo1_0]$ darcs check
Applying patch 2 of 3...
darcs failed:  Error applying hunk to file ./file
Unapplicable patch:
Thu Jan  5 11:13:13 GMT 2006  edwint
   * Removed line 3

----------
nosy: +granth

____________________________________
Darcs issue tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue67>
____________________________________




More information about the darcs-devel mailing list