dot/gdbinit, git/gitignore: Save GDB command-line history.

[profile] / dot / gdbinit

diff --git a/dot/gdbinit b/dot/gdbinit
index efce760..84ace3b 100644 (file)
--- a/dot/gdbinit
+++ b/dot/gdbinit
@@ -3,3 +3,4 @@
 set tui border-kind ascii
 set disassembly-flavor intel
 set disassemble-next-line auto
+set history save on