set history save on
set history size 10000

python
import os
xdg_data = os.environ.get('XDG_DATA_HOME', '~/.local/share')
gdb.execute('set history filename {}/gdb/gdb_history'.format(xdg_data))
end

set print pretty on
set pagination off
# set confirm off