From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 17 Jul 2018 09:45:44 GMT
Subject: Re: Git 2.18: RUNTIME_PREFIX... is it working?
Message-ID: <nycvar.QRO.7.76.6.1807171144350.71@tvgsbejvaqbjf.bet>
In-Reply-To: <20180710222005.GP14196@aiede.svl.corp.google.com>

Hi Jonathan,

[had to drop Perry Hutchinson, as the email address is apparently invalid,
and I only realized now that I never sent this out.]

On Tue, 10 Jul 2018, Jonathan Nieder wrote:

> If this [/proc issue] is the main obstacle to enabling RUNTIME_PREFIX by
> default, one option would be to make RUNTIME_PREFIX fall back to a
> hard-coded path when and only when git is not able to find the path from
> which it was run.

That is already the case. Look for FALLBACK_RUNTIME_PREFIX in the code.

Ciao,
Dscho