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