git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: git-diff should not fire up $PAGER, period!

From
Johannes Schindelin <johannes.schindelin@gmx.de>
Date
Dec 18, 2008, 03:22 UTC
Message-ID
<alpine.DEB.1.00.0812180419090.14632@racer>
In-Reply-To
<3c6c07c20812171818k6b6e3555ja991e20d74d8291b@mail.gmail.com>
Hi,
On Wed, 17 Dec 2008, Mike Coleman wrote:
> I still find git-diff's unsolicited invocation of $PAGER a bit
> jarring, but I also find that I like it.

It might have its reason in that it follows the common flow, where interactive use of _any_ diff program is _just useless_ unless piped to a pager.

And no, redirecting to a file is not interactive.

Can we please stop with those bogus and pointless, not to mention uninformed, discussions about design decisions that have been verified to be useful, or at least not harmful in any way, for a _long_, _long_ time?

The git list is high volume already, but at least so far it was high signal/noise ratio.

Let's keep it that way, Dscho

Previous: Junio C Hamano
Message 3 of 3 in “Re: git-diff should not fire up $PAGER, period!”
  1. Mike ColemanDec 18, 2008
  2. Junio C HamanoDec 18, 2008
  3. Johannes SchindelinDec 18, 2008

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.