logo       

Re: auto commit merge using the default merge message: msg#02002

git

Subject: Re: auto commit merge using the default merge message


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
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html

Google Custom Search

News | Mail Home | sitemap | FAQ | advertise