[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