Re: js/no-pager-shorthand [
From: Junio C Hamano <hidden>
Date: 2018-05-02 01:43:08
Eric Sunshine [off-list ref] writes:
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.
Yeah, we often see in other people's tools that the -X option means
opposite of the -x option, and even though "git --paginate" may not
have short-and-sweet "git -p" short-hand (or does it?) it would be
natural to expect "-p" to mean that, and I do not find it a stretch
for "-P" to mean opposite of it by extension.
... goes and looks ...
Ah, "-p" does mean "--paginate", it seems. So I am not opposed to
resurrecting the patch with s/N/P/, if that is what people want. On
the other hand, I am perfectly OK if the patch stays retracted.