Re: [PATCH] Add bare repository indicator for __git_ps1
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Feb 24, 2009, 17:01 UTC
- Message-ID
- <7vljrvixa3.fsf@gitster.siamese.dyndns.org>
- In-Reply-To
- <49A414B8.8010906@tedpavlic.com>
Ted Pavlic <ted@tedpavlic.com> writes:
Show 10 quoted lines
>>> Keep in mind that "BARE:master" doesn't make much sense. If you're >> >> It reflects what HEAD points to in the bare repository. > > Obviously, but that seems disingenuous when you're inside the git > dir. "HEAD" is supposed to reflect the name of the currently > checked-out branch, and so it is tied to a working directory. I'm not > sure why it's useful to show $GIT_DIR/HEAD in PS1 while inside .git as > it invites operations that probably should not be done while within > the bare repo.
It still indicates the branch in interest. That's the one you get a checkout for when you clone from the repository.