diff options
author | Junio C Hamano <gitster@pobox.com> | 2014-03-28 15:15:20 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-03-28 15:15:20 -0700 |
commit | c2a58767a86a1f96c6f53594d457b30abe184655 (patch) | |
tree | e51712ecf3cce129c6ced111d434614e1002f650 /gitk.html | |
parent | 3214e5f10c469804fcdd6096f3c3f32098ae9052 (diff) | |
download | git-htmldocs-c2a58767a86a1f96c6f53594d457b30abe184655.tar.gz |
Autogenerated HTML docs for v1.9.1-377-g96e67
Diffstat (limited to 'gitk.html')
-rw-r--r-- | gitk.html | 20 |
1 files changed, 17 insertions, 3 deletions
@@ -1030,8 +1030,22 @@ gitk --max-count=100 --all -- Makefile <div class="sect1">
<h2 id="_files">Files</h2>
<div class="sectionbody">
-<div class="paragraph"><p>Gitk creates the .gitk file in your $HOME directory to store preferences
-such as display options, font, and colors.</p></div>
+<div class="paragraph"><p>User configuration and preferences are stored at:</p></div>
+<div class="ulist"><ul>
+<li>
+<p>
+<em>$XDG_CONFIG_HOME/git/gitk</em> if it exists, otherwise
+</p>
+</li>
+<li>
+<p>
+<em>$HOME/.gitk</em> if it exists
+</p>
+</li>
+</ul></div>
+<div class="paragraph"><p>If neither of the above exist then <em>$XDG_CONFIG_HOME/git/gitk</em> is created and
+used by default. If <em>$XDG_CONFIG_HOME</em> is not set it defaults to
+<em>$HOME/.config</em> in all cases.</p></div>
</div>
</div>
<div class="sect1">
@@ -1085,7 +1099,7 @@ into the main Git repository.</p></div> <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2014-01-27 13:30:07 PST
+Last updated 2014-03-28 15:14:58 PDT
</div>
</div>
</body>
|