From: Brian Gernhardt <benji@silverinsanity.com>
Date: Thu, 23 Apr 2009 16:19:03 GMT
Subject: Re: auto commit merge using the default merge message
Message-ID: <CA5A92BB-29E5-40C0-BA9A-ED076676D8BF@silverinsanity.com>
In-Reply-To: <49F02FC0.1010007@drmicha.warpmail.net>


On Apr 23, 2009, at 5:07 AM, Michael J Gruber wrote:

> Junio C Hamano venit, vidit, dixit 23.04.2009 10:32:
>> Use "GIT_EDITOR=:" instead.  It also is *true* just like /bin/true,
>> but git knows a simple magic about this and avoids an extra
>> fork+exec.
>
> Good to know!
>
>> A similar trick exists for GIT_PAGER=cat (not "/bin/cat"), by the
>> way.
>>
>
> So, GIT_PAGER=cat differs from GIT_PAGER=/bin/cat even when `which
> cat`==/bin/cat?

Yes, if $GIT_PAGER == "cat", then git won't launch a pager at all.  If  
$GIT_PAGER == "/bin/cat", then git will launch /bin/cat and pipe all  
of it's output through it.  The result is (assuming a functional /bin/ 
cat) identical, but "cat" avoids the extra memory usage of "/bin/cat".

~~ Brian