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

Re: Force usage of pager for diff, show, etc when piping to non-TTY

From
Jeff King <peff@peff.net>
Date
Aug 17, 2023, 19:47 UTC
Message-ID
<20230817194735.GA3032779@coredump.intra.peff.net>
In-Reply-To
<CAMRL+qbSn058AsMW7+d1nRbt4Ao6R+BZ6HYHxDrVQhURgWoy7Q@mail.gmail.com>
On Thu, Aug 17, 2023 at 10:06:58AM -0700, Patrick wrote:
> Just to be really clear, the filter in `interactive.diffFilter` is
> meant as a filter for transforming (think a photo filter), as opposed
> to a filter that removes elements, correct? I think that's what I got
> tripped up on when you explained the first two times.

Yes, exactly. In retrospect, the name is a little ambiguous. :) Glad you've figured it out.

-Peff
Previous: PatrickNext: Patrick
Message 6 of 7 in “Force usage of pager for diff, show, etc when piping to non-TTY”
  1. PatrickAug 16, 2023
  2. Jeff KingAug 16, 2023
  3. PatrickAug 16, 2023
  4. Jeff KingAug 17, 2023
  5. PatrickAug 17, 2023
  6. Jeff KingAug 17, 2023
  7. PatrickAug 17, 2023

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.