This is the mail archive of the
gdb-prs@sourceware.org
mailing list for the GDB project.
[Bug python/13642] merge --python command-line option
- From: "tromey at redhat dot com" <sourceware-bugzilla at sourceware dot org>
- To: gdb-prs at sourceware dot org
- Date: Tue, 21 Jan 2014 18:26:57 +0000
- Subject: [Bug python/13642] merge --python command-line option
- Auto-submitted: auto-generated
- References: <bug-13642-4717 at http dot sourceware dot org/bugzilla/>
https://sourceware.org/bugzilla/show_bug.cgi?id=13642
Tom Tromey <tromey at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |---
--- Comment #3 from Tom Tromey <tromey at redhat dot com> ---
(In reply to Pedro Alves from comment #2)
> For completeness, just adding a comment to mention that it would still be
> needed if we wanted to support users that have "set script-extension off" in
> their .gdbinit:
Yeah; though I am not particularly sympathetic to those users.
Actually it seems somewhat wrong to me that --batch does not imply -nx.
Perhaps we need a new option that is like "--batch -nx -x" all in one.
Emacs uses "--script" for this.
Reopening.
--
You are receiving this mail because:
You are on the CC list for the bug.