* Differences between git show HEAD and git show head
@ 2018-09-17 11:22 Nikola Milekic
2018-09-17 13:23 ` Ævar Arnfjörð Bjarmason
0 siblings, 1 reply; 3+ messages in thread
From: Nikola Milekic @ 2018-09-17 11:22 UTC (permalink / raw)
To: git
Hi,
On Windows, when using multiple workspaces and git 2.19.0.windows.1,
'git show HEAD' and 'git show head' return different results when
executed from a secondary workspace (the one without the .git
directory).
'git show HEAD' shows the HEAD of the current workspace, while git
show head shows the HEAD of the main workspace (the one with the .git
directory). I find this to be highly misleading, especially for users
like myself who are not used to typing HEAD in all caps. Is this
indented behavior or a bug?
Thanks.
Best regards,
Nikola
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Differences between git show HEAD and git show head
2018-09-17 11:22 Differences between git show HEAD and git show head Nikola Milekic
@ 2018-09-17 13:23 ` Ævar Arnfjörð Bjarmason
2018-09-17 13:33 ` Nikola Milekic
0 siblings, 1 reply; 3+ messages in thread
From: Ævar Arnfjörð Bjarmason @ 2018-09-17 13:23 UTC (permalink / raw)
To: Nikola Milekic; +Cc: git
On Mon, Sep 17 2018, Nikola Milekic wrote:
> Hi,
>
> On Windows, when using multiple workspaces and git 2.19.0.windows.1,
> 'git show HEAD' and 'git show head' return different results when
> executed from a secondary workspace (the one without the .git
> directory).
>
> 'git show HEAD' shows the HEAD of the current workspace, while git
> show head shows the HEAD of the main workspace (the one with the .git
> directory). I find this to be highly misleading, especially for users
> like myself who are not used to typing HEAD in all caps. Is this
> indented behavior or a bug?
This is an outstanding bug in git that's tricky to solve (maybe you're
interested!), here's a recent discussion about it:
https://public-inbox.org/git/87ziclb2pa.fsf@gmail.com/
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Differences between git show HEAD and git show head
2018-09-17 13:23 ` Ævar Arnfjörð Bjarmason
@ 2018-09-17 13:33 ` Nikola Milekic
0 siblings, 0 replies; 3+ messages in thread
From: Nikola Milekic @ 2018-09-17 13:33 UTC (permalink / raw)
To: avarab; +Cc: git
Ups, my bad, didn't realize that. Apologies for spamming. Would love
to help but unfortunately I have no C background.
On Mon, Sep 17, 2018 at 3:23 PM Ævar Arnfjörð Bjarmason
<avarab@gmail.com> wrote:
>
>
> On Mon, Sep 17 2018, Nikola Milekic wrote:
>
> > Hi,
> >
> > On Windows, when using multiple workspaces and git 2.19.0.windows.1,
> > 'git show HEAD' and 'git show head' return different results when
> > executed from a secondary workspace (the one without the .git
> > directory).
> >
> > 'git show HEAD' shows the HEAD of the current workspace, while git
> > show head shows the HEAD of the main workspace (the one with the .git
> > directory). I find this to be highly misleading, especially for users
> > like myself who are not used to typing HEAD in all caps. Is this
> > indented behavior or a bug?
>
> This is an outstanding bug in git that's tricky to solve (maybe you're
> interested!), here's a recent discussion about it:
> https://public-inbox.org/git/87ziclb2pa.fsf@gmail.com/
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2018-09-17 13:33 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2018-09-17 11:22 Differences between git show HEAD and git show head Nikola Milekic
2018-09-17 13:23 ` Ævar Arnfjörð Bjarmason
2018-09-17 13:33 ` Nikola Milekic
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).