diff options
author | Junio C Hamano <junkio@cox.net> | 2007-01-08 02:08:47 -0800 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2007-01-08 03:02:11 -0800 |
commit | 73c838e4c9437a0c41082c32a3a832aa385460a9 (patch) | |
tree | 6fc36e178f41596ad8131fbd562a0ed445aa8ef9 /git-checkout.sh | |
parent | 648861040f2c5fd001a5edcfbb05813505bbb8f1 (diff) | |
download | git-73c838e4c9437a0c41082c32a3a832aa385460a9.tar.gz |
git-checkout: rewording comments regarding detached HEAD.
We used to say "you are not on a branch" before the initial
commit. This is incorrect -- the user is on a branch yet to be
born, but its name has been already determined.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-checkout.sh')
-rwxr-xr-x | git-checkout.sh | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/git-checkout.sh b/git-checkout.sh index 5a7388759c..3250f64ccc 100755 --- a/git-checkout.sh +++ b/git-checkout.sh @@ -140,22 +140,25 @@ fi [ -z "$new" ] && new=$old && new_name="$old_name" -# If we don't have an old branch that we're switching to, +# If we don't have an existing branch that we're switching to, # and we don't have a new branch name for the target we -# are switching to, then we'd better just be checking out -# what we already had +# are switching to, then we are detaching our HEAD from any +# branch. However, if "git checkout HEAD" detaches the HEAD +# from the current branch, even though that may be logically +# correct, it feels somewhat funny. More importantly, we do not +# want "git checkout" nor "git checkout -f" to detach HEAD. if test -z "$branch$newbranch" && test "$new" != "$old" then - # NEEDSWORK: we would want to have this command here - # that allows us to detach the HEAD atomically. - # git update-ref --detach HEAD "$new" + # NEEDSWORK: we would want to have a command here + # that allows us to detach the HEAD atomically. Perhaps + # something like "git update-ref --detach HEAD $new" echo "$new" >"$GIT_DIR/HEAD.new" && mv "$GIT_DIR/HEAD.new" "$GIT_DIR/HEAD" || die "Cannot detach HEAD" if test -n "$oldbranch" then - echo >&2 "WARNING: you are not on ANY branch anymore. + echo >&2 "warning: you are not on ANY branch anymore. If you meant to create a new branch from the commit, you need -b to associate a new branch with the wanted checkout. Example: git checkout -b <new_branch_name> $arg @@ -165,8 +168,8 @@ fi if [ "X$old" = X ] then - echo "warning: You do not appear to currently be on a branch." >&2 - echo "warning: Forcing checkout of $new_name." >&2 + echo >&2 "warning: You appear to be on a branch yet to be born." + echo >&2 "warning: Forcing checkout of $new_name." force=1 fi |