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 end
  15
  16 set print pretty on
  17 set pagination off
  18 # set confirm off