Re: js/no-pager-shorthand [was: What's cooking in git.git (Apr 2018, #04; Mon, 30)]
- From
Ævar Arnfjörð Bjarmason <avarab@gmail.com>
- Date
- May 1, 2018, 18:46 UTC
- Message-ID
- <8736zbz029.fsf@evledraar.gmail.com>
- In-Reply-To
- <nycvar.QRO.7.76.6.1805011351330.79@tvgsbejvaqbjf.bet>
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)>