From: Samir Benmendil <samir.benmendil@ultrahaptics.com>
Date: Tue, 29 Jan 2019 07:17:29 +0000 (+0000)
Subject: gdb: increase history size and store hisfile in global location
X-Git-Url: https://git.rmz.io/dotfiles.git/commitdiff_plain/dc55789ffa0bc72da62514e8301153db6171a22c

gdb: increase history size and store hisfile in global location
---

diff --git a/Makefile b/Makefile
index 8a8b08a..e67827e 100644
--- a/Makefile
+++ b/Makefile
@@ -29,6 +29,7 @@ mutt: ~/.config
 .PHONY: mutt
 
 gdb:
+	mkdir ~/.local/share/gdb
 	ln -sfT $(APATH)/gdbinit ~/.gdbinit
 	ln -sfT $(APATH)/cgdb ~/.cgdb
 .PHONY: gdb
diff --git a/gdbinit b/gdbinit
index 9ed8ca0..aa8d6ed 100644
--- a/gdbinit
+++ b/gdbinit
@@ -1,4 +1,12 @@
 set history save on
+set history size 10000
+
+python
+import os
+xdg_data = os.environ.get('XDG_DATA_HOME', '~/.local/share')
+gdb.execute('set history filename {}/gdb/gdb_history'.format(xdg_data))
+end
+
 set print pretty on
 set pagination off
 # set confirm off