X-Git-Url: https://git.rmz.io/dotfiles.git/blobdiff_plain/4825041926aa3f532b59fafea4bb476414ad42bc..5c6433db4a96881c716f6e8a075a01c376384cd3:/gdb/gdbinit

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