gdb/gdbinit

   1 set history save on
   2 set history size 10000
   3
   4 python
   5 import os
   6 xdg_data = os.environ.get('XDG_DATA_HOME', '~/.local/share')
   7 xdg_config = os.environ.get('XDG_CONFIG_HOME', '~/.config')
   8 gdb.execute('set history filename {}/gdb/gdb_history'.format(xdg_data))
   9
  10 import sys
  11 sys.path.insert(0, xdg_config + '/gdb')
  12
  13 from qt import register_qt_printers
  14 register_qt_printers (None)
  15
  16 from eigen import register_eigen_printers
  17 register_eigen_printers(None)
  18
  19 import gdb.printing
  20 import fpp
  21 gdb.printing.register_pretty_printer(
  22     gdb.current_objfile(),
  23     fpp.build_pretty_printer())
  24
  25 end
  26
  27 set print pretty on
  28 set pagination off
  29 # set confirm off
  30
  31 set debuginfod enabled on