From: Simon Ruderich <simon@ruderich.org>
Date: Thu, 16 Feb 2012 14:04:42 +0000 (+0100)
Subject: gdbinit: Increase history size.
X-Git-Url: https://ruderich.org/simon/gitweb/?a=commitdiff_plain;h=1afd54bb5ecb10aff960ecbf12694d742adb3f95;p=config%2Fdotfiles.git

gdbinit: Increase history size.
---

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