Backup UH

[dotfiles.git] / gdbinit

diff --git a/gdbinit b/gdbinit
index 9ed8ca05236519d71776adace428a9aa453d5944..aa8d6ed7ed9c34c4467560599faf8d8d834d0601 100644 (file)
--- 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