summaryrefslogtreecommitdiffstats
path: root/git.html
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2015-03-25 14:23:00 -0700
committerJunio C Hamano <gitster@pobox.com>2015-03-25 14:23:00 -0700
commitef57d1e09c88d50737fba2120916edde68bb6e1f (patch)
tree4f890dde208f2201ff4361fe3a83b5ae7451d56b /git.html
parent322c6244651c408d924f71f73effd8ed833916d3 (diff)
downloadgit-htmldocs-ef57d1e09c88d50737fba2120916edde68bb6e1f.tar.gz
Autogenerated HTML docs for v2.3.4-315-gbca18
Diffstat (limited to 'git.html')
-rw-r--r--git.html21
1 files changed, 19 insertions, 2 deletions
diff --git a/git.html b/git.html
index 540840f35..f15761104 100644
--- a/git.html
+++ b/git.html
@@ -2374,7 +2374,8 @@ Git so take care if using Cogito etc.</p></div>
<p>
This environment variable allows the specification of an index
version for new repositories. It won&#8217;t affect existing index
- files. By default index file version [23] is used.
+ files. By default index file version 2 or 3 is used. See
+ <a href="git-update-index.html">git-update-index(1)</a> for more information.
</p>
</dd>
<dt class="hdlist1">
@@ -2823,6 +2824,22 @@ GIT_ICASE_PATHSPECS
end user, to be recorded in the body of the reflog.
</p>
</dd>
+<dt class="hdlist1">
+<code>GIT_REF_PARANOIA</code>
+</dt>
+<dd>
+<p>
+ If set to <code>1</code>, include broken or badly named refs when iterating
+ over lists of refs. In a normal, non-corrupted repository, this
+ does nothing. However, enabling it may help git to detect and
+ abort some operations in the presence of broken refs. Git sets
+ this variable automatically when performing destructive
+ operations like <a href="git-prune.html">git-prune(1)</a>. You should not need to set
+ it yourself unless you want to be paranoid about making sure
+ an operation has touched every ref (e.g., because you are
+ cloning a repository to make a backup).
+</p>
+</dd>
</dl></div>
</div>
</div>
@@ -2931,7 +2948,7 @@ subscribed to the list to send a message there.</p></div>
<div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2015-03-23 14:31:16 PDT
+Last updated 2015-03-25 14:22:23 PDT
</div>
</div>
</body>