Hi Peff, On Thu, 22 Nov 2018, Jeff King wrote: > On Thu, Nov 22, 2018 at 01:48:53PM +0100, Johannes Schindelin wrote: > > > So YMMV with git-<tool>s. My rule of thumb is: if I want to use this > > myself only, I'll make it an alias. If I want to ship it (e.g. with Git > > for Windows), I'll make it a git-<tool>. > > I have a handful of personal git-* scripts: mostly ones that are big > enough to be unwieldy as an alias. But then, $PATH management is pretty > straightforward on my platforms, so it's easier to drop a script there > than to point an alias to a non-git-* script. Oh, my Git aliases pretty much *all* point to a single script that takes subcommands. Ciao, Dscho
