On Fri, Jun 6, 2008 at 8:11 PM, Johannes Schindelin <Johannes.Schindelin@xxxxxx> wrote: > Except, of course, if you have a script that wants to override whatever > the user set in her config. I think this is why stuff like GDB has both a CLI and a MI. In order to keep the CLI clean you have to make choices, similar to how we already separate plumbing from porcelain. I guess in that sense our MI is the plumbing, and the porcelain is our CLI. Of course, in that case there needn't be such an option in the porcelain, as long as there is one in the plumbing ;). Conclusion, go for the config option but make sure there's a switch for scripts in the plumbing? -- Cheers, Sverre Rabbelier -- 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