octave-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-bug-tracker] [bug #50285] Possible "rm" missing from Makefile wh


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/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]