From e36f2bcd387e01eb6fac50423dbb739b89f70705 Mon Sep 17 00:00:00 2001
From: Pierre Habouzit <madcoder@debian.org>
Date: Tue, 12 May 2009 23:46:23 +0200
Subject: [PATCH] Have a gdbinit file.

Signed-off-by: Pierre Habouzit <madcoder@debian.org>
---
 gdbinit | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 gdbinit

diff --git a/gdbinit b/gdbinit
new file mode 100644
index 0000000..0539085
--- /dev/null
+++ b/gdbinit
@@ -0,0 +1,3 @@
+set history filename ~/.cache/gdb/history
+set history save on
+set history size 65536
-- 
2.20.1