From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 4456 invoked by alias); 4 Mar 2013 18:41:08 -0000 Received: (qmail 4412 invoked by uid 48); 4 Mar 2013 18:41:07 -0000 From: "tromey at redhat dot com" To: gdb-prs@sourceware.org Subject: [Bug cli/15224] New: should "set history save on" by default Date: Mon, 04 Mar 2013 18:41:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gdb X-Bugzilla-Component: cli X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: tromey at redhat dot com X-Bugzilla-Status: NEW X-Bugzilla-Priority: P2 X-Bugzilla-Assigned-To: unassigned at sourceware dot org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: Message-ID: X-Bugzilla-URL: http://sourceware.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" MIME-Version: 1.0 Mailing-List: contact gdb-prs-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-prs-owner@sourceware.org X-SW-Source: 2013-q1/txt/msg00375.txt.bz2 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.