From: Junio C Hamano Date: Mon, 28 Mar 2011 17:12:23 GMT Subject: Re: [PATCH] Add two grep config options Message-ID: <7vvcz3yxs8.fsf@alter.siamese.dyndns.org> In-Reply-To: <20110328115421.GA9232@sigill.intra.peff.net> Jeff King 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). > 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)?