Swirly Mein Kopf

Tuesday, May 1. 2007

A shelf for darcs

Darcs Digital World

I recently did my first experiments with darcs: A friend of mine and I hacked on the same code, and by giving each other access to one’s darcs repository, we could easily exchange our new code.

One problem I had was that my friend recorded a patch that I did not want applied in my repository. Nothing else depended on it, so I could just say no everytime I use “darcs pull”, but it’s still a hassle. Also, imagine that I’m somewhere else and I suddently decide that I do want the patch?

A similar problem would be if I created some patches that I temporarily don’t want applied. I could branch, and then unpull them, but this is a bit too much work.

In both cases a “patch shelve” would be handy. A seperate storage for patches in my repository that are available, but not applied. I’d imagine that the “darcs pull” command would then allow me to “pull and put on the shelf”, and not offer me this patch again. There would also be “put on shelf” and “get from shelf” commands. So if anyone feels like hacking on darcs, this feature would be appreciated.

Also filed as a withlist bug.


No Trackbacks


Display comments as (Linear | Threaded)

*So true! As a darcs user I have to say that I'm really missing this feature.

There is a partial workaround however: You can pull patches by pattern. With a special naming scheme for patches this is barely usable.

Also when sending or pushing patches it would be cool not to be asked for some patches like local config changes.
#1 Helmut Grohne on 2007-05-01 12:44 (Reply)
*Yes! I want this feature!
#2 Titus Brown on 2007-05-01 19:50 (Reply)

Add Comment

To prevent automated Bots from commentspamming, please enter the string you see in the image below in the appropriate input box. Your comment will only be submitted if the strings match. Please ensure that your browser supports and accepts cookies, or your comment cannot be verified correctly.

Gravatar, Favatar, Identica author images supported.
What is the first name of the owner of this blog? / Wie heißt der Betreiber dieses Blogs mit Vornamen?
Nach oben