C'è un modo per ricaricare il file .gdbinit.Come ricaricare gdbinit?
Supponiamo che tu stia già lavorando in gdb, e hai apportato modifiche a .gdbinit, e vuoi ricaricare il nuovo .gdbinit senza disturbare l'attuale ambiente gdb.
È possibile?
source ~/.gdbinit
È possibile eseguire i comandi in .gdbinit (o qualsiasi altro file) con il comando source. Ad esempio, "source .gdbinit" eseguirà i comandi nel file .gdbin nella directory corrente. Dovrai specificare il percorso se vuoi usare un altro .gdbinit, come "source ~/.gdbinit" per quello nella tua home directory.
Questo eseguirà solo i comandi attualmente nel file; non ripristinerà o annullerà i comandi che erano precedentemente nel file. Quindi aggiornerà tutte le definizioni o le impostazioni eseguite dai comandi correnti, ma non cancellerà o annullerà alcuna vecchia definizione o impostazione.