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

From: Ævar Arnfjörð Bjarmason <[email-masked]>
Date: Tue, 01 May 2018 20:46:06 +0200

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 *nix CLI
program (as opposed to +p which I think was mentioned in a side-thread)>