# See .bashrc: export GDBHISTFILE="$HOME/.gdb_history"
# Should also work <jefyi6bzm6.fsf@sykes.suse.de> (untested):
# set history filename ~/.gdb_history
# See .bashrc: export GDBHISTFILE="$HOME/.gdb_history"
# Should also work <jefyi6bzm6.fsf@sykes.suse.de> (untested):
# set history filename ~/.gdb_history