From 081587b85511f05052d4e0e78daf3cd8478f114f Mon Sep 17 00:00:00 2001
From: Alex Karle <alex@karle.co>
Date: Sun, 2 Jun 2019 00:21:06 -0400
Subject: [PATCH] [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.
---
 .gdbinit | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 .gdbinit

diff --git a/.gdbinit b/.gdbinit
new file mode 100644
index 0000000..139c791
--- /dev/null
+++ 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
--
libgit2 0.28.4