diff options
| author | Junio C Hamano <gitster@pobox.com> | 2017-06-04 11:10:21 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-06-04 11:10:21 +0900 |
| commit | e0e20dff4554f5126cbf43465d7b358fae8bcede (patch) | |
| tree | 508fdfe3aac0759764be8b7ccb36629dee256aef /git-rev-parse.html | |
| parent | 222ed82fa30b16c05e3218a0d7fde5f8b1f0b4e4 (diff) | |
| download | git-htmldocs-e0e20dff4554f5126cbf43465d7b358fae8bcede.tar.gz | |
Autogenerated HTML docs for v2.13.0-425-gf4ba3c
Diffstat (limited to 'git-rev-parse.html')
| -rw-r--r-- | git-rev-parse.html | 26 |
1 files changed, 12 insertions, 14 deletions
diff --git a/git-rev-parse.html b/git-rev-parse.html index cbd5fbd86..a83677a5e 100644 --- a/git-rev-parse.html +++ b/git-rev-parse.html @@ -944,6 +944,17 @@ can be used.</p></div> </p>
</dd>
<dt class="hdlist1">
+--short[=length]
+</dt>
+<dd>
+<p>
+ Same as <code>--verify</code> but shortens the object name to a unique
+ prefix with at least <code>length</code> characters. The minimum length
+ is 4, the default is the effective value of the <code>core.abbrev</code>
+ configuration variable (see <a href="git-config.html">git-config(1)</a>).
+</p>
+</dd>
+<dt class="hdlist1">
--not
</dt>
<dd>
@@ -964,19 +975,6 @@ can be used.</p></div> </p>
</dd>
<dt class="hdlist1">
---short
-</dt>
-<dt class="hdlist1">
---short=number
-</dt>
-<dd>
-<p>
- Instead of outputting the full SHA-1 values of object names try to
- abbreviate them to a shorter unique name. When no length is specified
- 7 is used. The minimum length is 4.
-</p>
-</dd>
-<dt class="hdlist1">
--symbolic
</dt>
<dd>
@@ -1984,7 +1982,7 @@ Similar to above: <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2017-03-18 06:07:06 JST
+Last updated 2017-06-04 11:10:03 JST
</div>
</div>
</body>
|