config/local
1
0
Fork 0
Code Issues 11 Pull Requests Releases Wiki Activity

Add gdb role for Debian

Browse Source
This commit is contained in:
Kenneth Benzie
2022-11-05 20:05:48 +00:00
parent bb945190f8
commit cee0c443a3
3 changed files with 27 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
roles/gdb/templates/gdbinit Normal file
View File

@@ -0,0 +1,3 @@
# Enable saving command history
set history filename {{state_dir}}/history
set history save on