Update comment regarding: set history filename
authorlace <>
Thu, 15 Jun 2006 08:30:37 +0000 (08:30 +0000)
committerlace <>
Thu, 15 Jun 2006 08:30:37 +0000 (08:30 +0000)
.gdbinit

index 1ac14b6..36ecf0d 100644 (file)
--- a/.gdbinit
+++ b/.gdbinit
@@ -1,5 +1,6 @@
 # See .bashrc: export GDBHISTFILE="$HOME/.gdb_history"
 # See .bashrc: export GDBHISTFILE="$HOME/.gdb_history"
-#set history filename /home/lace/.gdb_history
+# Should also work <jefyi6bzm6.fsf@sykes.suse.de> (untested):
+# set history filename ~/.gdb_history
 set history save on
 define rt
        break $arg0
 set history save on
 define rt
        break $arg0