On Tue, May 1, 2018 at 10:58 AM, Johannes Sixt [off-list ref] wrote:

Am 01.05.2018 um 13:57 schrieb Johannes Schindelin:

quoted

On Mon, 30 Apr 2018, Johannes Sixt wrote:

quoted

Am 30.04.2018 um 05:25 schrieb Junio C Hamano:

quoted

* js/no-pager-shorthand (2018-04-25) 1 commit
   - git: add -N as a short option for --no-pager

I find -P is not that bad after all.

To me, `-P` would suggest the positive action --pager rather than the
negative --no-pager.

Your use case is quite the corner case, I hope you realize that, as it
seems that everybody else is fine with having -FRX as default options for
`less`... And with copy/pasting from the `less` output. So introducing a
sweet short option for --no-pager, for the benefit of maybe even only one
user, seems quite... unusual.

Given the ambivalence (or inconclusiveness), I retract this patch without
offering a replacement for the time being.

Although paged output is generally nice, I frequently find myself
typing --no-pager numerous times during the day, so I, for one,
welcome having a short option (and would be sad to see this patch
retracted). As with Hannes, I too find -P a reasonably intuitive and
easy-to-remember short option.