This is the mail archive of the
gdb-prs@sourceware.org
mailing list for the GDB project.
[Bug gdb/16128] New: Manual should be a little clearer on what does it mean to load command history from a history file.
- From: "palves at redhat dot com" <sourceware-bugzilla at sourceware dot org>
- To: gdb-prs at sourceware dot org
- Date: Wed, 06 Nov 2013 15:43:34 +0000
- Subject: [Bug gdb/16128] New: Manual should be a little clearer on what does it mean to load command history from a history file.
- Auto-submitted: auto-generated
https://sourceware.org/bugzilla/show_bug.cgi?id=16128
Bug ID: 16128
Summary: Manual should be a little clearer on what does it mean
to load command history from a history file.
Product: gdb
Version: HEAD
Status: NEW
Severity: normal
Priority: P2
Component: gdb
Assignee: unassigned at sourceware dot org
Reporter: palves at redhat dot com
The "Command History" node in the manual should make it clear what happens when
command history is read from the history file. I.e., init_history reads
the entire history file, but will this history be then used by
readline, e.g. when one types up- or down-arrows, or shown by "show
commands"?
--
You are receiving this mail because:
You are on the CC list for the bug.