|
From: | Dan Sebald |
Subject: | [Octave-bug-tracker] [bug #50285] Possible "rm" missing from Makefile when attempting to replace gdbinit |
Date: | Mon, 13 Feb 2017 17:27:15 -0500 (EST) |
User-agent: | Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:50.0) Gecko/20100101 Firefox/50.0 |
Follow-up Comment #4, bug #50285 (project octave): This ~/.octavegdbinit idea is in a sense already implemented. gdb has a variety of similar initialization options. See https://sourceware.org/gdb/onlinedocs/gdb/gdbinit-man.html https://sourceware.org/gdb/onlinedocs/gdb/Startup.html#Startup https://sourceware.org/gdb/onlinedocs/gdb/System_002dwide-configuration.html#System_002dwide-configuration https://sourceware.org/gdb/onlinedocs/gdb/System_002dwide-Configuration-Scripts.html#System_002dwide-Configuration-Scripts The order of load precedence looks to be 1) System wide (first) 2) Account wide 3) Local working directory (last) Maybe that order is a problem in the sense that one can't override <buildtree>/.gdbinit definitions with what's inside ~/.gdbinit. If that were the case, then it wouldn't be necessary to not-overwrite .gdbinit if it already exists. Maybe there is some way of accomplishing the same effect with one of the options in the links above. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?50285> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |