Re: Git 2.18: RUNTIME_PREFIX... is it working?
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Jul 17, 2018, 09:45 UTC
- 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