From 9a428829240a05b3d43e2ff12c0526793b55c4c6 Mon Sep 17 00:00:00 2001
From: short <>
Date: Sat, 20 Aug 2005 08:50:54 +0000
Subject: [PATCH] Fixed history saving settings.

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

diff --git a/.gdbinit b/.gdbinit
index 68597bf..1ac14b6 100644
--- a/.gdbinit
+++ b/.gdbinit
@@ -1,6 +1,6 @@
-# Appears to be a default everywhere now:
+# See .bashrc: export GDBHISTFILE="$HOME/.gdb_history"
 #set history filename /home/lace/.gdb_history
-#set history save on
+set history save on
 define rt
 	break $arg0
 	run
-- 
1.8.3.1