From: Jeff King <peff@peff.net>
Date: Sun, 25 Jan 2009 21:44:35 GMT
Subject: Re: [PATCH 1/2] user-manual: Simplify the user configuration.
Message-ID: <20090125214435.GA20173@coredump.intra.peff.net>
In-Reply-To: <94a0d4530901251312q4201d51btd806fe860a12afd6@mail.gmail.com>

On Sun, Jan 25, 2009 at 11:12:57PM +0200, Felipe Contreras wrote:

> However, my last proposal was to have both the git config --global
> *and* the $HOME/.gitconfig description. Is there any argument against
> that?

This is like the fifth time you have asked, and for some reason, nobody
seems to have said yes or no. So I will go ahead and say: yes, I think
that is a fine idea.

I think there should also be some explanatory text that indicates they
are totally interchangeable for the rest of the document. Something
like: "When we show configuration in the rest of this document, we will
use format X [I think probably "git config $VAR $VALUE"]. But you can
use whichever method you are most comfortable with."

-Peff