From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 31200 invoked by alias); 16 Oct 2009 18:40:36 -0000 Received: (qmail 31183 invoked by uid 48); 16 Oct 2009 18:40:35 -0000 Date: Fri, 16 Oct 2009 18:40:00 -0000 From: "ppluzhnikov at google dot com" To: gdb-prs@sourceware.org Message-ID: <20091016184033.10790.ppluzhnikov@google.com> Reply-To: sourceware-bugzilla@sourceware.org Subject: [Bug python/10790] New: gdb.parameter not (easily) modifyable from python side X-Bugzilla-Reason: CC 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: 2009-q4/txt/msg00104.txt.bz2 Consider wanting to temporarily change e.g. 'print elements' from (default) 200 to 400 and then restore it back; all from python side. Currently you'd have to do something like: old = gdb.parameter('print elements') gdb.execute('set print elements 400') ... whatever ... gdb.execute('set print elements %d' % old) It would be much more "pythonic" to have parameters implement a dictionary: old = gdb.parameter['print elements'] gdb.parameter['print elements'] = 400 ... whatever ... gdb.parameter['print elements'] = old -- Summary: gdb.parameter not (easily) modifyable from python side Product: gdb Version: unknown Status: UNCONFIRMED Severity: enhancement Priority: P2 Component: python AssignedTo: unassigned at sourceware dot org ReportedBy: ppluzhnikov at google dot com CC: gdb-prs at sourceware dot org GCC build triplet: x86_64-unknown-linux-gnu GCC host triplet: x86_64-unknown-linux-gnu GCC target triplet: x86_64-unknown-linux-gnu http://sourceware.org/bugzilla/show_bug.cgi?id=10790 ------- You are receiving this mail because: ------- You are on the CC list for the bug, or are watching someone who is.