+GDBHISTFILE="$HOME/.gdb_history"
authorshort <>
Wed, 10 Aug 2005 02:36:45 +0000 (02:36 +0000)
committershort <>
Wed, 10 Aug 2005 02:36:45 +0000 (02:36 +0000)
 - Setting dropped from '$HOME/.gdbinit' as I dunno how to make it $HOME rel.
 - Appears to me this is not default just on Debian.

.bashrc

diff --git a/.bashrc b/.bashrc
index 244c29c..c7125a5 100644 (file)
--- a/.bashrc
+++ b/.bashrc
@@ -161,6 +161,7 @@ if [ -n "$PS1" ];then       # set only in interactive sessions
 export MINICOM="-m -c on"      # metakeys+color
 export HISTSIZE=100000
 export HISTFILESIZE="$HISTSIZE"
+export GDBHISTFILE="$HOME/.gdb_history"
 export CVS_RSH="ssh"
 # Do not: grep -w "$TERM" /etc/termcap >/dev/null || export TERM=vt220
 # as Sun workaround as Debian misses: /etc/termcap