diff options
author | Junio C Hamano <gitster@pobox.com> | 2023-09-20 12:05:29 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-09-20 12:05:29 -0700 |
commit | 81aefe8c69270c0db34d75bccd5349600adfc4b6 (patch) | |
tree | e528abf74fbb685e2fa0b64ce2a0e67a0d910b1f /git-update-index.html | |
parent | e93a0f144764186c7e268c17e5b9b46f5f9577d6 (diff) | |
download | git-htmldocs-81aefe8c69270c0db34d75bccd5349600adfc4b6.tar.gz |
Autogenerated HTML docs for v2.42.0-241-g6bdb5
Diffstat (limited to 'git-update-index.html')
-rw-r--r-- | git-update-index.html | 21 |
1 files changed, 16 insertions, 5 deletions
diff --git a/git-update-index.html b/git-update-index.html index 8997f1b40..1876ed129 100644 --- a/git-update-index.html +++ b/git-update-index.html @@ -1023,13 +1023,24 @@ you will need to handle the situation manually.</p></div> Write the resulting index out in the named on-disk format version.
Supported versions are 2, 3 and 4. The current default version is 2
or 3, depending on whether extra features are used, such as
- <code>git add -N</code>.
+ <code>git add -N</code>. With <code>--verbose</code>, also report the version the index
+ file uses before and after this command.
</p>
<div class="paragraph"><p>Version 4 performs a simple pathname compression that reduces index
size by 30%-50% on large repositories, which results in faster load
-time. Version 4 is relatively young (first released in 1.8.0 in
-October 2012). Other Git implementations such as JGit and libgit2
-may not support it yet.</p></div>
+time. Git supports it since version 1.8.0, released in October 2012,
+and support for it was added to libgit2 in 2016 and to JGit in 2020.
+Older versions of this manual page called it "relatively young", but
+it should be considered mature technology these days.</p></div>
+</dd>
+<dt class="hdlist1">
+--show-index-version
+</dt>
+<dd>
+<p>
+ Report the index format version used by the on-disk index file.
+ See <code>--index-version</code> above.
+</p>
</dd>
<dt class="hdlist1">
-z
@@ -1546,7 +1557,7 @@ automatically.</p></div> <div id="footer">
<div id="footer-text">
Last updated
- 2022-09-15 16:31:06 PDT
+ 2023-09-20 12:03:35 PDT
</div>
</div>
</body>
|