From: Jeff King <peff@peff.net>
Date: Thu, 17 Aug 2023 19:47:35 GMT
Subject: Re: Force usage of pager for diff, show, etc when piping to non-TTY
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