dotfiles

commit 081587b85511f05052d4e0e78daf3cd8478f114f (patch)
parent 288ab24b77ab4f5e5bd21d8201ac320f32f94a71
Author: Alex Karle <alex@karle.co>
Date:   Sun,  2 Jun 2019 00:21:06 -0400

[gdb] add .gdbinit file

This dotfile saves some pain in that (1) yes I do want my GDB history
saved but (2) I don't want to be looking for '.gdb_history' files all
over my computer.

Diffstat:
A
.gdbinit
 | 
4
++++

1 file changed, 4 insertions(+), 0 deletions(-)
diff --git a/.gdbinit b/.gdbinit
@@ -0,0 +1,4 @@
+# Save history, but do it globally
+set history save on
+set history size 10000
+set history filename ~/.gdb_history