X-Git-Url: https://git.rmz.io/dotfiles.git/blobdiff_plain/dc55789ffa0bc72da62514e8301153db6171a22c..ccdacf21dc7d84e54dc22e5398d5ecb4fb2912ec:/gdbinit diff --git a/gdbinit b/gdbinit index aa8d6ed..1e3baf1 100644 --- a/gdbinit +++ b/gdbinit @@ -4,9 +4,28 @@ set history size 10000 python import os xdg_data = os.environ.get('XDG_DATA_HOME', '~/.local/share') +xdg_config = os.environ.get('XDG_CONFIG_HOME', '~/.config') gdb.execute('set history filename {}/gdb/gdb_history'.format(xdg_data)) + +import sys +sys.path.insert(0, xdg_config + '/gdb') + +from qt import register_qt_printers +register_qt_printers (None) + +from eigen import register_eigen_printers +register_eigen_printers(None) + +import gdb.printing +import fpp +gdb.printing.register_pretty_printer( + gdb.current_objfile(), + fpp.build_pretty_printer()) + end set print pretty on set pagination off # set confirm off + +set debuginfod enabled on