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

Eli Zaretskii
2012-01-02T12:35:46Z

> 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.