Home » Mailing list archives » git » 2007 » July » 18

Proposal about --help options and man calls

!MAILaRCHIVE_VOTE_RePLACE
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
[view in full thread]
From: David Kastrup <dak@...>
To: <git@...>
Subject: Proposal about --help options and man calls
Date: Wednesday, July 18, 2007 - 5:50 pm

Frequently, git somecommand --help will call the man command to
display help pages.  I think that when it does so, it should pass the
value of the GIT_PAGER variable copied into the PAGER variable: the
paging happens on behalf of git here.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum

-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
Messages in current thread:
Proposal about --help options and man calls, David Kastrup, (Wed Jul 18, 5:50 pm)
Re: Proposal about --help options and man calls, Junio C Hamano, (Wed Jul 18, 7:16 pm)
Re: Proposal about --help options and man calls, Brian Gernhardt, (Wed Jul 18, 11:49 pm)