This is the mail archive of the
gdb-prs@sourceware.org
mailing list for the GDB project.
[Bug cli/15224] New: should "set history save on" by default
- From: "tromey at redhat dot com" <sourceware-bugzilla at sourceware dot org>
- To: gdb-prs at sourceware dot org
- Date: Mon, 04 Mar 2013 18:41:04 +0000
- Subject: [Bug cli/15224] New: should "set history save on" by default
- Auto-submitted: auto-generated
http://sourceware.org/bugzilla/show_bug.cgi?id=15224
Bug #: 15224
Summary: should "set history save on" by default
Product: gdb
Version: unknown
Status: NEW
Severity: normal
Priority: P2
Component: cli
AssignedTo: unassigned@sourceware.org
ReportedBy: tromey@redhat.com
Classification: Unclassified
I think users would benefit if "set history save on" were the default.
--
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.