Re: [PATCH 3/4] GDBServer: introduce --server-stderr command line option

[Cleber Rosa <crosa@redhat.com>]

On 03/23/2015 04:12 PM, Eli Zaretskii wrote:
>> Date: Mon, 23 Mar 2015 15:48:29 -0300
>> From: Cleber Rosa <crosa@redhat.com>
>> CC: gdb-patches@sourceware.org, areis@redhat.com
>>
>>>> +@item --server-stderr
>>>> +Instruct @code{gdbserver} to redirect its own @code{stderr} to another
>>>> +file.
>>> The option requires an argument, so the argument should be mentioned
>>> with the option and referenced in the text that describes it.
>> Sure, I also feel an example could help. How do you feel about this:
>>
>> @cindex @option{--server-output}, @code{gdbserver} option
>> The @option{--server-output=path} option tells @code{gdbserver} to send
> @option{--server-output=@var{path}} (and once again, please use
> "file" or "filename", not "path").

Sorry, I missed that in the first reply but it's covered in the updated 
patches (and inline for information purposes):

@cindex @option{--server-output}, @code{gdbserver} option
The @option{--server-output=@var{file}} option tells @code{gdbserver} to 
send
all its output to a file given by @var{file}.  This can be useful, for 
instance,
if you need to collect the server output and/or the inferior output, but 
want
to keep them separate:

@smallexample
$ gdbserver --server-output=log :2222 bin >bin.out 2>bin.err
@end smallexample

>
> Also, what happened to the @item?

@item --server-output=file
Instruct @code{gdbserver} to redirect its own output to @var{file}.

Which renders as:

        --server-output=file
            Instruct "gdbserver" to redirect its own output to file.

Too simplistic or is that OK?

>
>> all its output to a file given by @var{path}. This can be useful, for
>                                                ^^
> Two spaces between sentences.
>
>> @smallexample
>> $ gdbserver --server-output=server.log :2222 testprog >test.out 2>test.err
>> @end smallexample
> This line is too long; either try to make it shorter, e.g., by using
> shorter file/program names, or break it into 2 lines.

OK, how about (repeated from earlier):

@smallexample
$ gdbserver --server-output=log :2222 bin >bin.out 2>bin.err
@end smallexample

>
> Otherwise, this is fine, thanks.
>>> AFAIK, GNU Coding Standards frown on using "path" for anything that is
>>> not PATH-style list of directories.  So please use "file" or "file
>>> name" here.
>> I could not find a mention on the GNU Coding Standards manual itself,
> It's in the node "GNU Manuals":
>
>       Please do not use the term "pathname" that is used in Unix
>    documentation; use "file name" (two words) instead.  We use the term
>    "path" only for search paths, which are lists of directory names.

Oh, thanks for the pointer and for having the manual on (brain) cache 
and catching that!