gdb: add printer for geo_point type

[dotfiles.git] / gdbinit

diff --git a/gdbinit b/gdbinit
index 58b24120ec46f2f791c231a598a75dd387375c2a..17928325972e63621807fb6acd5be8f31fb34464 100644 (file)
--- a/gdbinit
+++ b/gdbinit
@@ -11,6 +11,13 @@ import sys
 sys.path.insert(0, xdg_config + '/gdb')
 from qt import register_qt_printers
 register_qt_printers (None)
+
+import gdb.printing
+import fpp
+gdb.printing.register_pretty_printer(
+    gdb.current_objfile(),
+    fpp.build_pretty_printer())
+
 end
 
 set print pretty on