.gitconfig: add push2all alias to push to all remotes

[dotfiles.git] / .gdbinit

diff --git a/.gdbinit b/.gdbinit
index b9beec166cf7414cd423147d9fb115553e3f7f23..4c55f588b9272b1a59e5f9556d632ad6ad8894e4 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