diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-05-23 08:38:18 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-05-23 08:38:18 +0300 |
commit | c9aac55c4e99302e1e365e480eb52c3da2d7c853 (patch) | |
tree | 2091d68f18dda658a10438e29ce53dad2e838104 /Documentation | |
parent | 4a3bf32b6c7e5d832e02f30a78ad23dc6ba15dcc (diff) | |
parent | 7213c288187bd9ef1e32e4f86c20c55436f1ae90 (diff) |
Merge branch 'js/no-pager-shorthand'
"git --no-pager cmd" did not have short-and-sweet single letter
option. Now it does.
* js/no-pager-shorthand:
git: add -P as a short option for --no-pager
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/git.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Documentation/git.txt b/Documentation/git.txt index 4767860e72..c662f41c1d 100644 --- a/Documentation/git.txt +++ b/Documentation/git.txt @@ -11,7 +11,7 @@ SYNOPSIS [verse] 'git' [--version] [--help] [-C <path>] [-c <name>=<value>] [--exec-path[=<path>]] [--html-path] [--man-path] [--info-path] - [-p|--paginate|--no-pager] [--no-replace-objects] [--bare] + [-p|--paginate|-P|--no-pager] [--no-replace-objects] [--bare] [--git-dir=<path>] [--work-tree=<path>] [--namespace=<name>] [--super-prefix=<path>] <command> [<args>] @@ -103,6 +103,7 @@ foo.bar= ...`) sets `foo.bar` to the empty string which `git config configuration options (see the "Configuration Mechanism" section below). +-P:: --no-pager:: Do not pipe Git output into a pager. |