gdb: install gdbinit into XDG_CONFIG_HOME

[dotfiles.git] / gdbinit

diff --git a/gdbinit b/gdbinit
deleted file mode 100644 (file)
index 1e3baf1..0000000
--- a/gdbinit
+++ /dev/null
@@ -1,31 +0,0 @@
-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