On Fri, Mar 22, 2019 at 02:39:43PM +0100, Johannes Schindelin wrote: > How about > > GIT_EDITOR=echo git config --system -e 2>/dev/null > > It will error out if the directory does not exist, for some reason, e.g. > when you installed Git in your home directory via `make install` from a > fresh clone. So you'll have to cope with that contingency.
Oh, that's much more clever than mine. I did wonder if it would require the containing directory to be writable, but it seems that "--edit" does not do the usual lock-and-rename. -Peff
