Jeff King <peff@xxxxxxxx> 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)? -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html