From 1afd54bb5ecb10aff960ecbf12694d742adb3f95 Mon Sep 17 00:00:00 2001
From: Simon Ruderich <simon@ruderich.org>
Date: Thu, 16 Feb 2012 15:04:42 +0100
Subject: [PATCH] gdbinit: Increase history size.

---
 gdbinit | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gdbinit b/gdbinit
index 708a255..71e5ee8 100644
--- a/gdbinit
+++ b/gdbinit
@@ -3,7 +3,7 @@
 
 # Save command history.
 set history save on
-# And save 1024 entries.
-set history size 1024
+# And save more entries.
+set history size 10000
 
 # vim: ft=gdb
-- 
2.45.2