Re: auto commit merge using the default merge message
- From
Brian Gernhardt <benji@silverinsanity.com>
- Date
- Apr 23, 2009, 16:19 UTC
- 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:
Show 13 quoted lines
> 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