[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