.gdbinit: set history filename

diff --git a/.gdbinit b/.gdbinit
index b9beec166cf7414cd423147d9fb115553e3f7f23..5552f916f082654052398dbcc74af8f8202dbd7e 100644 (file)
--- a/.gdbinit
+++ b/.gdbinit
@@ -1,3 +1,4 @@
 set history expansion on
 set history save on
+set history filename ~/.gdb-history
 set print pretty