Re: Force usage of pager for diff, show, etc when piping to non-TTY
- From
- Patrick <patrickf3139@gmail.com>
- Date
- Aug 17, 2023, 20:03 UTC
- Message-ID
- <CAMRL+qbyLvdfKnv47BRSrRoBKZW5pU_uy1w7GO3Hyo3+X224PQ@mail.gmail.com>
- In-Reply-To
- <20230817194735.GA3032779@coredump.intra.peff.net>
Thank you for clarifying, Jeff. And thank you to all the git contributors who not only maintain git for all the developers everywhere, but also provide first class support :)
On Thu, Aug 17, 2023 at 12:47 PM Jeff King <peff@peff.net> wrote:
Show 12 quoted lines
> > 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