Save history in gdbinit

diff --git a/.config/git/ignore b/.config/git/ignore
index 03227e7d66930969fd6e75a8f57c108db8f8978f..f1b5895c9d3e76d03fdc65250872e98181cd07c4 100644 (file)
--- a/.config/git/ignore
+++ b/.config/git/ignore
@@ -1,5 +1,6 @@
-# Breakpoints produced by .gdbinit
+# Files produced by .gdbinit and frields
 .breakpoints
+.gdb_history
 
 # Scripts I use in git repos to automate certain niceties
 *.i.sh

diff --git a/.gdbinit b/.gdbinit
index 74956e0698575e8a3a0efedeba3f42fcde4a14b4..d0ba99dcc88787a116b55097a17112ce040d1a48 100644 (file)
--- a/.gdbinit
+++ b/.gdbinit
@@ -2,6 +2,7 @@
 # If I start debugging, I've probably executed build scripts
 # and/or intend to run the program itself locally anyways.
 set auto-load safe-path /
+set history save on
 define hook-quit
 save breakpoints .breakpoints
 end

diff --git a/README.md b/README.md
index e9ea56e25ea16deb3efbd423151c0958d98869cc..c99a3506e105731bcfcc319e5fce8fb5bc95cb88 100644 (file)
--- a/README.md
+++ b/README.md
@@ -36,6 +36,7 @@ set -g mode-keys vi
 # If I start debugging, I've probably executed build scripts
 # and/or intend to run the program itself locally anyways.
 set auto-load safe-path /
+set history save on
 define hook-quit
 save breakpoints .breakpoints
 end
@@ -74,8 +75,9 @@ Host github.com
 ## .gitignore
 
 ```
-# Breakpoints produced by .gdbinit
+# Files produced by .gdbinit and frields
 .breakpoints
+.gdb_history
 
 # Scripts I use in git repos to automate certain niceties
 *.i.sh