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

[Joel Brobecker]

> As I already wrote, I have absolutely no problems with that, provided
> that we apply this logic consistently.  Doing so would mean that we
> should gather all the OS-specific "info MyOS SOMETHING" under the
> single "info os" roof, and remove "info dos", "info w32", etc.

Generally speaking, I tend to agree - it is best to have a general
command that each platform can implement rather than each having
their own command . People like myself who work on so many different
platforms tend to lose out on these little commands.  I've seen this
sort of transition with the command used to list shared libraries on
Windows, for instance.  But, as Pedro shows, the devil is in the
details. I think we need to look at each command and deal with it
individually.

-- 
Joel