From f5dbd4f01286db41abade2db8af7a1a363173500 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= <contact@tobast.fr>
Date: Wed, 24 May 2017 12:19:23 +0200
Subject: [PATCH] gdb: persistant history

---
 files/.gdbinit | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 files/.gdbinit

diff --git a/files/.gdbinit b/files/.gdbinit
new file mode 100644
index 0000000..b5f609b
--- /dev/null
+++ b/files/.gdbinit
@@ -0,0 +1,4 @@
+set history save on
+set history size 4096
+set history remove-duplicates 1
+set history filename ~/.gdb_history