diff options
| author | Junio C Hamano <gitster@pobox.com> | 2012-07-09 13:33:55 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-07-09 13:33:55 -0700 |
| commit | 8edb4c78855c443e01af6d002424e4341cbe26b7 (patch) | |
| tree | 3749af122ba8e8507199aba9a840231417c7581c /gitignore.html | |
| parent | 1fa0867d61a36187726e36097bcd9b4540bfda78 (diff) | |
| download | git-htmldocs-8edb4c78855c443e01af6d002424e4341cbe26b7.tar.gz | |
Autogenerated HTML docs for v1.7.11.1-165-g2996
Diffstat (limited to 'gitignore.html')
| -rw-r--r-- | gitignore.html | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gitignore.html b/gitignore.html index fcb9695ae..c9dee04e3 100644 --- a/gitignore.html +++ b/gitignore.html @@ -636,7 +636,9 @@ the repository but are specific to one user’s workflow) should go into the <tt>$GIT_DIR/info/exclude</tt> file. Patterns which a user wants git to
ignore in all situations (e.g., backup or temporary files generated by
the user’s editor of choice) generally go into a file specified by
-<tt>core.excludesfile</tt> in the user’s <tt>~/.gitconfig</tt>.</p></div>
+<tt>core.excludesfile</tt> in the user’s <tt>~/.gitconfig</tt>. Its default value is
+$XDG_CONFIG_HOME/git/ignore. If $XDG_CONFIG_HOME is either not set or empty,
+$HOME/.config/git/ignore is used instead.</p></div>
<div class="paragraph"><p>The underlying git plumbing tools, such as
<em>git ls-files</em> and <em>git read-tree</em>, read
<tt>gitignore</tt> patterns specified by command-line options, or from
@@ -767,7 +769,7 @@ use <em>git update-index --assume-unchanged</em>.</p></div> <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2011-11-15 13:45:02 PDT
+Last updated 2012-07-09 13:33:29 PDT
</div>
</div>
</body>
|