Re: js/no-pager-shorthand [was: What's cooking in git.git (Apr 2018, #04; Mon, 30)]

From: Eric Sunshine <sunshine@sunshineco.com>
Date: May 1, 2018, 18:10 UTC
Message-ID: <CAPig+cS9pKSXG-9uZo7dhnz2yAnv9VnnuS_B-DMG2cWmGuKcow@mail.gmail.com>
In-Reply-To: <5cd81e58-7cd4-f5df-14e8-2ba3d221e128@kdbg.org>

On Tue, May 1, 2018 at 10:58 AM, Johannes Sixt <j6t@kdbg.org> wrote:

Show 19 quoted lines

> Am 01.05.2018 um 13:57 schrieb Johannes Schindelin:
>> On Mon, 30 Apr 2018, Johannes Sixt wrote:
>>> Am 30.04.2018 um 05:25 schrieb Junio C Hamano:
>>>> * 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.