[darcs-users] Request for early user feedback on patch index darcs
Eric Kow
eric.kow at gmail.com
Thu Aug 2 07:09:54 UTC 2012
On 2 Aug 2012, at 06:23, Stephen J. Turnbull wrote:
>> I'm not sure I as a user would have any idea if I feel the need for
>> such a feature. What's the difference between such a thing and
>> just using --disable-patch-index in the same way? In what scenarios
>> would a user find this to be useful, like what kind of repositories
>> would they have?
>
> Why not make life easy on both users and developers, and simply
> automatically allow every long option in the global defaults file?
I think we already do this.
Moreover, I think the difference between the two options relates to the difference between pre-existing repos and newly created/fetched repos (for which it's more obvious that you always want the patch index)
--
Eric Kow <http://erickow.com>
More information about the darcs-users
mailing list