From: Nicolas Pitre Date: Thu, 19 Jul 2007 19:28:53 GMT Subject: Re: [PATCH (REVISED)] Add core.editor configuration variable Message-ID: In-Reply-To: <200707191523.42086.andyparkins@gmail.com> On Thu, 19 Jul 2007, Andy Parkins wrote: > On Thursday 2007 July 19, Johannes Schindelin wrote: > > And how would having "core.pager" but "porcelain.editor" be easier to > > remember? Nah, not really. > > If there is no difference, then do you object so strongly? If anything I think it is core.pager which is a misnommer. A pager is certainly more porcelainish. by nature. Given that core.pager already exists, I think it would be yet another mistake to put editor in a different section separate from pager. IMHO both of them should have been user.pager and user.editor. Nicolas