Re: [PATCH 1/3] doc/git-config: explain --file instead of referring to GIT_CONFIG

From: Jeff King <peff@peff.net>
Date: Jul 14, 2021, 22:23 UTC
Message-ID: <YO9j6hrJFFTSEd6j@coredump.intra.peff.net>
In-Reply-To: <YO9jLvGlIVj3aI/m@nand.local>

On Wed, Jul 14, 2021 at 06:20:30PM -0400, Taylor Blau wrote:

Show 14 quoted lines

> On Wed, Jul 14, 2021 at 05:37:29PM -0400, Jeff King wrote:
> >  -f config-file::
> >  --file config-file::
> > -	Use the given config file instead of the one specified by GIT_CONFIG.
> > +	For writing options: write to the specified file rather than the
> > +	repository `.git/config`.
> 
> I wonder whether or not we should write "rather than the repository
> `$GIT_DIR/config`" instead of `.git/config`. The former is true for bare
> repositories, too, but may in fact be more confusing than what you have
> writen so clearly.
> 
> Perhaps `.git/config` is clear enough; I definitely don't feel strongly
> about it.

Yes, I noticed that, too. This is copied verbatim from the other options, so if we were to do that, it should be done on top across the whole file.

-Peff