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
