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>
This commit is contained in:
Johannes Schindelin 2006-12-21 15:26:35 +01:00 committed by Junio C Hamano
parent f79c73ce9c
commit 95f2fb7d9f

View File

@ -86,7 +86,12 @@ update_ref_status=$?
case "$reset_type" in case "$reset_type" in
--hard ) --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 ) --soft )
;; # Nothing else to do ;; # Nothing else to do
--mixed ) --mixed )