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 from qt import register_qt_printers
  13 register_qt_printers (None)
  14
  15 import gdb.printing
  16 import fpp
  17 gdb.printing.register_pretty_printer(
  18     gdb.current_objfile(),
  19     fpp.build_pretty_printer())
  20
  21 end
  22
  23 set print pretty on
  24 set pagination off
  25 # set confirm off