From 801e4d63a4297ee599691a9e5a9dadded5c3176b Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 23 Feb 2017 17:17:23 +0100
Subject: [PATCH] gdbinit

---
 Makefile | 2 +-
 gdbinit  | 8 ++++++++
 2 files changed, 9 insertions(+), 1 deletion(-)
 create mode 100644 gdbinit

diff --git a/Makefile b/Makefile
index e39ddfd..91b38c8 100644
--- a/Makefile
+++ b/Makefile
@@ -3,7 +3,7 @@ FILES = bashrc bash_profile vimrc zshrc gitconfig screenrc commonshrc liquidprom
 	i3/config i3status.conf msmtprc spacemacs emacs.d mbsyncrc authinfo \
 	config/qutebrowser config/nvim/init.vim ideavimrc agignore \
 	config/khal config/vdirsyncer/config config/khard \
-	config/rofi-pass \
+	config/rofi-pass gdbinit \
 	$(wildcard sbt/0.13/*.sbt sbt/0.13/plugins/*.sbt)
 
 .PHONY: install clean check
diff --git a/gdbinit b/gdbinit
new file mode 100644
index 0000000..201989a
--- /dev/null
+++ b/gdbinit
@@ -0,0 +1,8 @@
+set print pretty on
+set print object on
+set print static-members on
+set print vtbl on
+set print demangle on
+set demangle-style gnu-v3
+source /home/gebner/lean/bin/lean-gdb.py
+source /home/gebner/etc/gdbprinters.py