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