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

[Eli Zaretskii]

> Date: Mon, 02 Jan 2012 12:08:37 +0000
> From: Pedro Alves <alves.ped@gmail.com>
> CC: Eli Zaretskii <eliz@gnu.org>, gdb-patches@sourceware.org
> 
> The idea of "info os" is to leave GDB completely agnostic of what is
> it the backend decides to present to the user/frontend.  GDB only
> knows that it is being given a table with columns and lines.  We
> should not assume that "info os FOO" means the same thing on
> different OSs.  FOO in "info os FOO" is completely not standardized.

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.