gdb: add eigen pretty printers

[dotfiles.git] / gdbinit

diff --git a/gdbinit b/gdbinit
index 17928325972e63621807fb6acd5be8f31fb34464..47383500dcf63f549719f99272e0118b22394960 100644 (file)
--- a/gdbinit
+++ b/gdbinit
@@ -9,9 +9,13 @@ 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(