diff options
| author |  Junio C Hamano <junkio@cox.net> | 2005-11-15 01:31:04 -0800 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-11-15 01:31:04 -0800 |
| commit | cd0a781c386b197e63a30104bead39420eada7ca (patch) | |
| tree | 8ea8ba4b812ca2bc384ccc117da7fd4f4516f000 /Documentation/diff-format.txt | |
| parent | Fix bunch of fd leaks in http-fetch (diff) | |
| download | tgif-cd0a781c386b197e63a30104bead39420eada7ca.tar.xz | |
Documentation: do not blindly run 'cat' .git/HEAD, or echo into it.
Many places in the documentation we still talked about reading
what commit is recorded in .git/HEAD or writing the new head
information into it, both assuming .git/HEAD is a symlink. That
is not necessarily so.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/diff-format.txt')
| -rw-r--r-- | Documentation/diff-format.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/diff-format.txt b/Documentation/diff-format.txt index b426a14f5e..97756ec030 100644 --- a/Documentation/diff-format.txt +++ b/Documentation/diff-format.txt @@ -81,7 +81,7 @@ The "diff" formatting options can be customized via the environment variable 'GIT_DIFF_OPTS'. For example, if you prefer context diff: - GIT_DIFF_OPTS=-c git-diff-index -p $(cat .git/HEAD) + GIT_DIFF_OPTS=-c git-diff-index -p HEAD 2. When the environment variable 'GIT_EXTERNAL_DIFF' is set, the |