X-Git-Url: https://git.rmz.io/dotfiles.git/blobdiff_plain/70b195b2c40ea7453ff9ec6baf92c0044e62e095..dc55789ffa0bc72da62514e8301153db6171a22c:/gdbinit diff --git a/gdbinit b/gdbinit index 9ed8ca0..aa8d6ed 100644 --- a/gdbinit +++ b/gdbinit @@ -1,4 +1,12 @@ 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