chiark / gitweb /
dot/dircolors: Set colours on `xterm-256color' terminals.
[profile] / dot / gdbinit
1 ### GDB configuration
2
3 set tui border-kind ascii
4 set disassembly-flavor intel
5 set disassemble-next-line auto
6 set history save on
7 set confirm off