public inbox for gdb-prs@sourceware.org
help / color / mirror / Atom feed
* [Bug python/12867] New: Need a command to delete a pretty-printer
@ 2011-06-09 18:19 dje at google dot com
2011-06-09 18:21 ` [Bug python/12867] " dje at google dot com
0 siblings, 1 reply; 2+ messages in thread
From: dje at google dot com @ 2011-06-09 18:19 UTC (permalink / raw)
To: gdb-prs
http://sourceware.org/bugzilla/show_bug.cgi?id=12867
Summary: Need a command to delete a pretty-printer
Product: gdb
Version: HEAD
Status: NEW
Severity: normal
Priority: P2
Component: python
AssignedTo: unassigned@sourceware.org
ReportedBy: dje@google.com
ref: http://sourceware.org/ml/gdb/2011-05/msg00117.html
We need a command to delete an existing pretty-printer.
delete pretty-printer object-regexp pretty-printer-regexp
"works for me"
[syntax borrowed from info|enable|disable pretty-printer]
Though it might be nice to make object-regexp optional.
--
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.
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Bug python/12867] Need a command to delete a pretty-printer
2011-06-09 18:19 [Bug python/12867] New: Need a command to delete a pretty-printer dje at google dot com
@ 2011-06-09 18:21 ` dje at google dot com
0 siblings, 0 replies; 2+ messages in thread
From: dje at google dot com @ 2011-06-09 18:21 UTC (permalink / raw)
To: gdb-prs
http://sourceware.org/bugzilla/show_bug.cgi?id=12867
dje at google dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |pmuldoon at redhat dot com,
| |rhl at astro dot
| |princeton.edu
--
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.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2011-06-09 18:21 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-06-09 18:19 [Bug python/12867] New: Need a command to delete a pretty-printer dje at google dot com
2011-06-09 18:21 ` [Bug python/12867] " dje at google dot com
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).