dot/gdbinit, git/gitignore: Save GDB command-line history.

[profile] / dot / gdbinit

diff --git a/dot/gdbinit b/dot/gdbinit
index c9d555b..84ace3b 100644 (file)
--- a/dot/gdbinit
+++ b/dot/gdbinit
@@ -1,3 +1,6 @@
 ### GDB configuration
 
 set tui border-kind ascii
+set disassembly-flavor intel
+set disassemble-next-line auto
+set history save on