From: Rafael Ascensao <rafa.almas@gmail.com>
Date: Fri, 06 Apr 2018 16:57:39 GMT
Subject: Re: How to undo previously set configuration?
Message-ID: <CACUQV5_E+MOHVD2rGjcQY=iK+tqB3wV9Lh1nwiEP+q+M-1iXzA@mail.gmail.com>
In-Reply-To: <20180406175556.5b6e16f0.olaf@aepfle.de>

On Fri, Apr 6, 2018 at 4:55 PM, Olaf Hering <olaf@aepfle.de> wrote:
>
> This does not work. Initially I copied the global config into the repo and set all unwanted values to <empty>, like 'smtpuser='. Perhaps the config parser recognized that fact, but the consumer does not?
>

Today someone asked on #git for a way to disable diff.external for a
single command.
Without thinking much I suggested $git -c diff.external= diff; which fails with:
`fatal: cannot run : No such file or directory`

In this particular case there was `--no-ext-diff` to get around this
and the case was promptly resolved.
Just another another example where setting configuration values to
"empty" doesn't translate to "disable this option".