[darcs-users] Re: Suggestion: track patch origin metadata

Mark Stosberg mark at summersault.com
Fri Oct 22 17:53:15 UTC 2004


On 2004-10-22, Tomasz Zielonka <t.zielonka at students.mimuw.edu.pl> wrote:
>
> _darcs/prefs/defaults could be used for that, if only there would be a
> suitable option that disables a command. You would have a defaults
> file like this:
>
> unpull	  disable
> unrecord    disable
> rerecord    disable
>
> What do you think? Seems simple and elegant.

I like it. 

I still think there is some benefit to partially disable these, as I
outlined in my original case. 

Fully and partially disabling these would both be useful, depending on
the case.

	Mark





More information about the darcs-users mailing list