[PATCH] Add extra 'info os' information types for Linux (trunk and 7.4)

[Joel Brobecker]

> For my part, I would tend to favor "info os" for those kinds of data
> that are generic enough to be found on more than one target OS.
> Things like processes, semaphores, and sockets are found across a
> broad range of systems large and small, and it seems unduly pedantic
> to require users to do "info linux semaphores" when targeting Linux,
> but "info bsd sem" for BSD - or worse, "info freebsd sem" vs "info
> openbsd sem" - and which flavor of BSD is Darwin most like, again?
> :-)  Putting things under "info os" means less detail for users to
> remember.

I tend to agree with that. Otherwise, we end up with exactly what
you explained, inconsistent interface across platforms.

The discussion we are having is also an indicator that we should
not put this in the 7.4 branch as well, I am afraid.

-- 
Joel