From 90e24a2e0573ed67e5facf4f1bb2cc9909c26c15 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 11 Aug 2016 09:42:13 +0100
Subject: [PATCH] dot/gdbinit, git/gitignore: Save GDB command-line history.

---
 dot/gdbinit   | 1 +
 git/gitignore | 3 +++
 2 files changed, 4 insertions(+)

diff --git a/dot/gdbinit b/dot/gdbinit
index efce760..84ace3b 100644
--- 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
diff --git a/git/gitignore b/git/gitignore
index 6d91afe..b41e934 100644
--- a/git/gitignore
+++ b/git/gitignore
@@ -19,6 +19,9 @@ GRTAGS
 GSYMS
 GTAGS
 
+## GDB clutter.
+.gdb_history
+
 ## Build and release directories.
 build
 build-*
-- 
2.11.0