diff options
| author |  Steven Grimm <koreth@midwinter.com> | 2007-07-19 03:43:51 -0700 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2007-07-20 00:01:26 -0700 |
| commit | a7738c77f1f17ced885ce96e986b948a0b256452 (patch) | |
| tree | 43193654626dded010ea8c1ae65e78c475744f6a | |
| parent | Rename read_pipe() with read_fd() and make its buffer nul-terminated. (diff) | |
| download | tgif-a7738c77f1f17ced885ce96e986b948a0b256452.tar.xz | |
Document how to tell git to not launch a pager
Signed-off-by: Steven Grimm <koreth@midwinter.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rw-r--r-- | Documentation/git.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Documentation/git.txt b/Documentation/git.txt index 3fbfd45ffe..4c4d1746e0 100644 --- a/Documentation/git.txt +++ b/Documentation/git.txt @@ -417,7 +417,9 @@ other See gitlink:git-merge[1] 'GIT_PAGER':: - This environment variable overrides `$PAGER`. + This environment variable overrides `$PAGER`. If it is set + to an empty string or to the value "cat", git will not launch + a pager. 'GIT_FLUSH':: If this environment variable is set to "1", then commands such |