|
From: | anonymous |
Subject: | [bug #58191] Improper handling of GDB's extended-prompt setting |
Date: | Thu, 16 Apr 2020 14:50:57 -0400 (EDT) |
User-agent: | Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_4) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/78.0.4050.0 Iron Safari/537.36 |
URL: <https://savannah.gnu.org/bugs/?58191> Summary: Improper handling of GDB's extended-prompt setting Project: DDD Submitted by: None Submitted on: Thu 16 Apr 2020 06:50:55 PM UTC Category: Gdb integration Severity: 3 - Normal Item Group: None Status: None Privacy: Public Assigned to: None Open/Closed: Open Release: None Discussion Lock: Any _______________________________________________________ Details: The default extended-prompt setting in GDB (tested 9.1) is the string "not set" which is picked up by DDD when one selects 'Edit -> GDB Settings'. This value is injected into ~/.ddd/init and then subsequent instantiation of DDD chokes on the value (hangs waiting for gdb to be ready). The attached patch simply prevents DDD from trying to manage the setting. A proficient GDB user may insert a value for the extended-prompt into their ~/.gdbinit file that will be used within a given DDD session. _______________________________________________________ File Attachments: ------------------------------------------------------- Date: Thu 16 Apr 2020 06:50:55 PM UTC Name: extended-prompt.patch Size: 546B By: None <http://savannah.gnu.org/bugs/download.php?file_id=48852> _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?58191> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |