> On Jun 15, 2020, at 5:49 AM, Mouse <[email protected]> wrote: > > I considered suggesting something like /usr/tools, but I don't really > think that's a good idea.
I think it's reasonable to draw a distinction between "tools that are commonly used for non-system development" and "tools that are very specific to the system". I think /usr/sys might be reasonable... /usr/sys/bin, /usr/sys/libdata, etc. -- thorpej
