Re: js/no-pager-shorthand [was: What's cooking in git.git (Apr 2018, #04; Mon, 30)]
From: Ævar Arnfjörð Bjarmason <hidden>
Date: 2018-05-01 18:46:12
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)>