Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: [PATCH] _git: Also complete FETCH_HEAD, ORIG_HEAD and MERGE_HEAD.



Simon Ruderich wrote:
> On Sat, May 01, 2010 at 02:17:19PM +0200, Frank Terbeck wrote:
>>> I would prefer mine because of the speed penalty of Benjamin's
>>> patch. Checking if the file exists in .git would be another
>>> possibility.
>>
>> And that would be the one from workers-27813Â?
>>
>> Regards, Frank
>>
>> Â <http://www.zsh.org/mla/workers/2010/msg00265.html>
>
> Ah sorry. Yes, that's the one.

Committed this one. Actually checking whether the head symbols are
available at any time probably requires something like this:

    gdir="$(git rev-parse --git-dir)"
    [[ -f ${gdir}/ORIG_HEAD ]] && ...
    [[ -f ${gdir}/FETCH_HEAD ]] && ...
    ...

I don't know if it's worth the additional fork.

Regards, Frank



Messages sorted by: Reverse Date, Date, Thread, Author