Eric Sunshine 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
>
On Tue, May 01 2018, Johannes Schindelin wrote:
> I wonder whether `-!p` would be better/feasible?
In *nix shells `git -!p ...` unquoted will turn that !p into whatever
command you last ran that started with a "p", in my case `git -ping
8.8.8.8`. So there's a reason that's not the idiom in any *
On Tue, May 1, 2018 at 10:58 AM, Johannes Sixt wrote:
> 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
>>&
Am 01.05.2018 um 13:57 schrieb Johannes Schindelin:
Hi Hannes,
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
"git --no-pager cmd" did not
Hi Hannes,
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
> >
> > "git --no-pager cmd" did not have short
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
"git --no-pager cmd" did not have short-and-sweet single letter
option. Now it does.
Will merge to 'next'.
I consider your
6 matches
Mail list logo
