gdbinit: Increase history size.

diff --git a/gdbinit b/gdbinit
index 708a255b1ec39482b0e32d0095ef07c838dad452..71e5ee87e541bc61426935da4b50cfbb9f1f3b12 100644 (file)
--- 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