var doc: advertise current DEFAULT_PAGER and DEFAULT_EDITOR settings
authorJonathan Nieder <jrnieder@gmail.com>
Sat, 31 Mar 2012 08:44:53 +0000 (03:44 -0500)
committerJunio C Hamano <gitster@pobox.com>
Tue, 10 Apr 2012 21:50:27 +0000 (14:50 -0700)
commit5b58619aa011c2047e7b67ca28630d8a2e72ca1f
tree7ccfa86a43f944b76a2347ac6416f90b0863341c
parent4e0ce4dfea869cfe383149a3db5a430f0579c3f4
var doc: advertise current DEFAULT_PAGER and DEFAULT_EDITOR settings

Document the default pager and editor chosen at compile time in the
git-var(1) manpage so users curious about what command _this_ copy of
git will fall back to when EDITOR, VISUAL, and PAGER are unset can
find the answer quickly.

In builds leaving those settings uncustomized, this patch makes the
manpage continue to say "usually vi" and "usually less" so the
formatted documentation is usable for a wide audience including users
of custom builds that change those settings.  If you would like your
copy of the docs to be less noncommittal, you will need to set
DEFAULT_PAGER=less and DEFAULT_EDITOR=vi explicitly.

Suggested-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/Makefile
Documentation/git-var.txt
Makefile