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> _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
