Re: [PATCH] Add two grep config options
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Mar 28, 2011, 17:12 UTC
- Message-ID
- <7vvcz3yxs8.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <20110328115421.GA9232@sigill.intra.peff.net>
Jeff King <peff@peff.net> writes:
> One shortcoming of such a scheme, though, is that it is an > all-or-nothing proposal...
I fully agree with this assessment, and I think that was the primary reason that we rejected --plumbing / GIT_PLUMB (i.e. as too naive to be useful).
Show 5 quoted lines
> So what we really want is to let the script "allow" certain options from > the user's preferences. This could be done easily with individual config > options, like: > > git --allow=grep.extended grep ...
I think this is probably the right thing to do _if_ we wanted to add such a configuration variable and give a way to let script writers protect themselves.
But would any user go all that trouble, just not to say "-nE" from the command line (or use an alias that was designed not to crash with scripts)?