X-Git-Url: https://git.rmz.io/dotfiles.git/blobdiff_plain/dc55789ffa0bc72da62514e8301153db6171a22c..c089750bf7a4524584f74246b52de9485f63f95b:/gdbinit diff --git a/gdbinit b/gdbinit index aa8d6ed..4738350 100644 --- a/gdbinit +++ b/gdbinit @@ -4,7 +4,24 @@ 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