From: Jonathan Nieder <jrnieder@gmail.com>
Date: Tue, 10 Jul 2018 22:21:31 GMT
Subject: Re: Git 2.18: RUNTIME_PREFIX... is it working?
Message-ID: <20180710222131.GQ14196@aiede.svl.corp.google.com>
In-Reply-To: <20180710222005.GP14196@aiede.svl.corp.google.com>

A quick correction:

Jonathan Nieder wrote:

>              Similarly, various features of other tools (like bash's
> support for <(echo hi)) also rely on /proc.

That relies on /dev/fd, not /proc, but same idea.

Tools like "ps" rely on /proc.

Sorry for the noise,
Jonathan