From: Eli Zaretskii <eliz@gnu.org>
To: Andrew STUBBS <andrew.stubbs@st.com>
Cc: gdb@sources.redhat.com
Subject: Re: RFC: GDB as a loader 1/3: silent batch mode
Date: Fri, 28 Oct 2005 12:49:00 -0000 [thread overview]
Message-ID: <uacgterho.fsf@gnu.org> (raw)
In-Reply-To: <4361F3E3.9070701@st.com> (message from Andrew STUBBS on Fri, 28 Oct 2005 10:48:19 +0100)
> Date: Fri, 28 Oct 2005 10:48:19 +0100
> From: Andrew STUBBS <andrew.stubbs@st.com>
> Cc: gdb@sources.redhat.com
>
> Out of interest, why does 'GDB' have to be '@value{GDBN}'? What does
> that do?
It gives us a simple way to change the name of GDB in the manual.
This is sometimes needed when one wants to produce a tailored GDB
package specific to some host/target configuration, for a specific
client, and call it by some other name to distinguish from the
standard edition.
The "@value{GDBN}" construct is a simple string substitution
mechanism: it causes makeinfo, the program that produces the Info
manual from its Texinfo sources, to replace "@value{GDBN}" with the
string that is the value of the GDBN variable. The default value is
set in the gdb-cfg.texi file:
@set GDBN @sc{gdb}
which is included by gdb.texinfo. However, one could replace this
value, either in gdb-cfg.texi or by invoking makeinfo with the -D
switch, for example:
makeinfo -DGDBN="my@sc{gdb}" gdb.texinfo
> I can create the info file fine, but the PDF has errors.
What command did you use to produce the PDF file? Also, please send
the error messages you saw.
> The only thing
> I can see wrong with the produced file is that the index is missing. Is
> this a known problem or am I using the wrong version of something? I
> have Texinfo 4.5.
I don't think it's a known problem, but perhaps you should upgrade
your Texinfo.
> Still nobody has given an opinion on any of the three patches I sent
> adding new options. What do you want to do with them? Do we know if
> Daniel is back from holiday yet?
I'll let Daniel answer that ;-)
> I'll do the docs for the other two options soon.
Thanks.
> +@item -batch-silent
> +@cindex @code{--batch-silent}
> +Run in batch mode exactly like @samp{-batch}, but totally silently. All
> +@value{GDBN} output to @code{stdout} is prevented (@code{stderr} is
> +unaffected). This is much quieter than @samp{-silent} and would be useless
> +for an interactive session.
> +
> +This is particularly useful when using targets that give @samp{Loading section} messages, for example.
> +
> +Note that targets that give their output via @value{GDBN}, as opposed to
> +writing directly to @code{stdout}, will also be made silent.
This is okay, but still the first sentence has only one space after
the period that ends it.
next prev parent reply other threads:[~2005-10-28 12:49 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-10-18 11:28 Andrew STUBBS
2005-10-19 19:58 ` Eli Zaretskii
2005-10-21 14:26 ` Andrew STUBBS
2005-10-21 14:54 ` Eli Zaretskii
2005-10-21 15:42 ` Andrew STUBBS
2005-10-21 16:42 ` Daniel Jacobowitz
2005-10-21 17:06 ` Andrew STUBBS
2005-10-21 22:04 ` Eli Zaretskii
2005-10-27 17:57 ` Andrew STUBBS
2005-10-27 19:14 ` Eli Zaretskii
2005-10-28 9:52 ` Andrew STUBBS
2005-10-28 12:49 ` Eli Zaretskii [this message]
2005-10-28 14:01 ` Andrew STUBBS
2005-10-28 17:23 ` Eli Zaretskii
2005-10-28 17:35 ` Andrew STUBBS
2005-10-29 9:52 ` Eli Zaretskii
2005-10-28 20:38 ` Daniel Jacobowitz
2005-10-29 10:32 ` Eli Zaretskii
2005-10-28 20:40 ` Daniel Jacobowitz
2005-10-28 20:47 ` Daniel Jacobowitz
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=uacgterho.fsf@gnu.org \
--to=eliz@gnu.org \
--cc=andrew.stubbs@st.com \
--cc=gdb@sources.redhat.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox