On Apr 23, 2009, at 5:07 AM, Michael J Gruber wrote:
Junio C Hamano venit, vidit, dixit 23.04.2009 10:32:
quoted
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!
quoted
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