set history save on
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
set pagination off
# set confirm off

set debuginfod enabled on