* Does "git config --local core.excludefiles" exclude files in a single repository?
@ 2012-06-29 18:11 Matt Seitz (matseitz)
2012-07-03 7:30 ` Jeff King
0 siblings, 1 reply; 2+ messages in thread
From: Matt Seitz (matseitz) @ 2012-06-29 18:11 UTC (permalink / raw)
To: git@vger.kernel.org, git-users(mailer list)
Will git ignore files in an exclusion file that is specified in a local ($GIT_DIR/config) "core.excludefiles" configuration option?
I mistakenly ran "git config core.excludefiles=<file>", and I was curious whether this command actually has any effect.
I know that "$GIT_DIR/info/exclude" is normally used for listing files that a single user wants exclude from a single repository. And I know that "git config --global core.excludefiles=<file>" is normally used for listing files that a single user wants to exclude from all repositories. But I didn't see any explicit documentation for whether "git config core.excludefiles=<file>" would exclude files for a single user in a single repository.
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Does "git config --local core.excludefiles" exclude files in a single repository?
2012-06-29 18:11 Does "git config --local core.excludefiles" exclude files in a single repository? Matt Seitz (matseitz)
@ 2012-07-03 7:30 ` Jeff King
0 siblings, 0 replies; 2+ messages in thread
From: Jeff King @ 2012-07-03 7:30 UTC (permalink / raw)
To: Matt Seitz (matseitz); +Cc: git@vger.kernel.org, git-users(mailer list)
On Fri, Jun 29, 2012 at 06:11:06PM +0000, Matt Seitz (matseitz) wrote:
> Will git ignore files in an exclusion file that is specified in a
> local ($GIT_DIR/config) "core.excludefiles" configuration option?
Yes, git should treat it the same as if it were mentioned in
$HOME/.gitconfig (modulo the correct spelling of "core.excludesfile").
It will override any core.excludesfile found in a system-level or
user-level git config file.
> I know that "$GIT_DIR/info/exclude" is normally used for listing files
> that a single user wants exclude from a single repository. And I know
> that "git config --global core.excludefiles=<file>" is normally used
> for listing files that a single user wants to exclude from all
> repositories. But I didn't see any explicit documentation for whether
> "git config core.excludefiles=<file>" would exclude files for a single
> user in a single repository.
In general, git does not care about the exact source of config
variables. Options in more specific files override less-specific ones,
but there is no per-variable code that cares specifically about the
location of core.excludesfile or any other option.
-Peff
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2012-07-03 7:30 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2012-06-29 18:11 Does "git config --local core.excludefiles" exclude files in a single repository? Matt Seitz (matseitz)
2012-07-03 7:30 ` Jeff King
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).