This commit is contained in:
Gabriel Ebner 2017-02-23 17:17:23 +01:00
parent 6c94b6a238
commit 801e4d63a4
2 changed files with 9 additions and 1 deletions

@ -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

8
gdbinit Normal file

@ -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