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/git-read-tree.txt | |
parent | 313c4714c5ec1673805b952ba79d910a42e8937c (diff) | |
download | git-cd0a781c386b197e63a30104bead39420eada7ca.tar.gz git-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/git-read-tree.txt')
-rw-r--r-- | Documentation/git-read-tree.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-read-tree.txt b/Documentation/git-read-tree.txt index 7be0cbd62..8b9184785 100644 --- a/Documentation/git-read-tree.txt +++ b/Documentation/git-read-tree.txt @@ -237,7 +237,7 @@ This is done to prevent you from losing your work-in-progress changes. To illustrate, suppose you start from what has been commited last to your repository: - $ JC=`cat .git/HEAD` + $ JC=`git-rev-parse --verify "HEAD^0"` $ git-checkout-index -f -u -a $JC You do random edits, without running git-update-index. And then |