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

git-diff should not fire up $PAGER if there is no diff

From
jidanni@jidanni.org <jidanni@jidanni.org>
Date
Dec 16, 2008, 00:21 UTC
Message-ID
<874p15x94i.fsf@jidanni.org>

git-diff should not fire up $PAGER if there is no diff output. Just exit. The man page doesn't even mention $PAGER too.

Next: Jeff King
Message 1 of 13 in “git-diff should not fire up $PAGER if there is no diff”
  1. jidanni@jidanni.orgDec 16, 2008
  2. Jeff KingDec 16, 2008
  3. Stefan KarpinskiDec 16, 2008
  4. Jeff KingDec 16, 2008
  5. Stefan KarpinskiDec 16, 2008
  6. git-diff should not fire up $PAGER, period!jidanni@jidanni.org, Dec 17, 2008
  7. Junio C HamanoDec 17, 2008
  8. Linus TorvaldsDec 17, 2008
  9. Miles BaderDec 22, 2008
  10. Jeff KingDec 18, 2008
  11. Miles BaderDec 22, 2008
  12. Johannes SixtDec 22, 2008
  13. Junio C HamanoDec 22, 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.