On Tue, Jul 26, 2011 at 2:04 PM, Clemens Buchacher <drizzd@xxxxxx> wrote:
>
> No simple solution for (1) comes to mind. I am not sure if this bug
> is still relevant. I could not reproduce it here with less version
> 436. If this bug was fixed a long time ago, maybe we can remove the
> workaround by now?
Hmm. I can confirm that it doesn't happen for me either any more,
although I don't know if that is an actual less bugfix, or it was
timing-dependent.
That said, the workaround has other nice properties too, like delaying
the screen cleaning that "less" often does. So I don't know if we
really want to get rid of it.
> Number (2) can be solved by not sending error output to the pager.
I think your patch looks reasonable.
Linus
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html