# See .bashrc: export GDBHISTFILE="$HOME/.gdb_history"
# Should also work <jefyi6bzm6.fsf@sykes.suse.de> (untested):
# set history filename ~/.gdb_history
set history save on
# https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=106814
set complaints 0
# See .bashrc: export GDBHISTFILE="$HOME/.gdb_history"
# Should also work <jefyi6bzm6.fsf@sykes.suse.de> (untested):
# set history filename ~/.gdb_history
set history save on
# https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=106814
set complaints 0