config/terminal
Archived
1
0
Fork 0
Code Issues 1 Pull Requests Releases Wiki Activity

Don't save gdb history

Browse Source
This commit is contained in:
Kenneth Benzie 2018-10-23 16:31:09 +01:00
parent 7937e2415a
commit 9ee8392390
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
gdbinit
View File

@ -1,2 +1 @@
set history save on
set print pretty on set print pretty on