Re: Git 2.18: RUNTIME_PREFIX... is it working?

From: Jonathan Nieder <jrnieder@gmail.com>
Date: Jul 10, 2018, 22:21 UTC
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

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.