Fixed history saving settings.
authorshort <>
Sat, 20 Aug 2005 08:50:54 +0000 (08:50 +0000)
committershort <>
Sat, 20 Aug 2005 08:50:54 +0000 (08:50 +0000)
.gdbinit

index 68597bf..1ac14b6 100644 (file)
--- 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