summaryrefslogtreecommitdiff
path: root/git-reset.sh
diff options
context:
space:
mode:
authorJohannes Schindelin <Johannes.Schindelin@gmx.de>2006-12-21 15:26:35 +0100
committerJunio C Hamano <junkio@cox.net>2006-12-21 22:47:49 -0800
commit95f2fb7d9f84779bf036bb748e245c91bc572840 (patch)
tree12c63348f979f674c2cf39ffc2da2939353d65d9 /git-reset.sh
parentf79c73ce9ce5d8bd1b4abaf3fc384aa8daa169ef (diff)
downloadgit-95f2fb7d9f84779bf036bb748e245c91bc572840.tar.gz
git-reset --hard: tell the user what the HEAD was reset to
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de> Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-reset.sh')
-rwxr-xr-xgit-reset.sh7
1 files changed, 6 insertions, 1 deletions
diff --git a/git-reset.sh b/git-reset.sh
index 8d95e3748d..2379db082f 100755
--- a/git-reset.sh
+++ b/git-reset.sh
@@ -86,7 +86,12 @@ update_ref_status=$?
case "$reset_type" in
--hard )
- ;; # Nothing else to do
+ test $update_ref_status = 0 && {
+ echo -n "HEAD is now at "
+ GIT_PAGER= git log --max-count=1 --pretty=oneline \
+ --abbrev-commit HEAD
+ }
+ ;;
--soft )
;; # Nothing else to do
--mixed )