Rubén Justo <rjusto@xxxxxxxxx> writes: >> It's a very convincing theory but it does not seem to match my >> observation. Is there a difference in shells used, or something? > > Have you tried your tweak in the "linux-gcc (ubuntu-20.04)" test > environment where the problem was detected? In that environment, the > value of GIT_PAGER is not passed to Git in that test. So, we may have a shell that does not behave like others ;-) Do you know what shell is being used? Thanks.