diff options
| author | Jeff King <peff@peff.net> | 2015-06-22 14:06:32 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2015-06-26 19:24:42 +0300 |
| commit | 3115ee45c8c7c0b753663890b13ec0e14fe4c0d7 (patch) | |
| tree | db7ceda377412cbdf84cce0d96fc7f432a2c415d /Documentation/git-cat-file.txt | |
| parent | 6a951937ae1abb5fe438bfb41ebb28c5abe0419d (diff) | |
cat-file: sort and de-dup output of --batch-all-objects
The sorting we could probably live without, but printing
duplicates is just a hassle for the user, who must then
de-dup themselves (or risk a wrong answer if they are doing
something like counting objects with a particular property).
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-cat-file.txt')
| -rw-r--r-- | Documentation/git-cat-file.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Documentation/git-cat-file.txt b/Documentation/git-cat-file.txt index 6831b08efb..3105fc0720 100644 --- a/Documentation/git-cat-file.txt +++ b/Documentation/git-cat-file.txt @@ -74,8 +74,7 @@ OPTIONS requested batch operation on all objects in the repository and any alternate object stores (not just reachable objects). Requires `--batch` or `--batch-check` be specified. Note that - the order of the objects is unspecified, and there may be - duplicate entries. + the objects are visited in order sorted by their hashes. --buffer:: Normally batch output is flushed after each object is output, so |