Re: [PATCH v1 2/2] reset: add new reset.quietDefault config setting
- From
Jeff King <peff@peff.net>
- Date
- Oct 23, 2018, 20:02 UTC
- Message-ID
- <20181023200245.GA15214@sigill.intra.peff.net>
- In-Reply-To
- <1ba81f12-7040-1ba5-2009-fa681caf9874@gmail.com>
On Tue, Oct 23, 2018 at 02:11:01PM -0400, Ben Peart wrote:
Show 9 quoted lines
> This sounds like an easy way to choose a set of default values that we think > make sense to get bundled together. That could be a way for users to quickly > choose a set of good defaults but I still think you would want find grained > control over the individual settings. > > Coming up with the set of values to bundle together, figuring out the > hierarchy of precedence for this new global config->individual > config->individual command line, updating the code to make it all work is > outside the scope of this particular patch series.
True, it probably does make sense to give individual defaults. Having a unifying option may help with the discoverability issue you were thinking of elsewhere, though.
-Peff