etc/gdbinit

9 lines
214 B
Plaintext
Raw Normal View History

2017-02-23 17:17:23 +01:00
set print pretty on
set print object on
set print static-members on
set print vtbl on
set print demangle on
set demangle-style gnu-v3
source /home/gebner/lean/bin/lean-gdb.py
source /home/gebner/etc/gdbprinters.py