diff options
| author | Steven Grimm <koreth@midwinter.com> | 2007-07-19 12:43:51 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-07-20 09:01:26 +0200 |
| commit | a7738c77f1f17ced885ce96e986b948a0b256452 (patch) | |
| tree | 43193654626dded010ea8c1ae65e78c475744f6a /Documentation/git.txt | |
| parent | Rename read_pipe() with read_fd() and make its buffer nul-terminated. (diff) | |
| download | git-a7738c77f1f17ced885ce96e986b948a0b256452.tar.xz git-a7738c77f1f17ced885ce96e986b948a0b256452.zip | |
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>
Diffstat (limited to '')
| -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 |