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 gdb.execute('set history filename {}/gdb/gdb_history'.format(xdg_data))
   8 end
   9
  10 set print pretty on
  11 set pagination off
  12 # set confirm off