Gdb: add exit command

2020-09-21 23:26:27 +02:00 · 2020-09-21 23:26:27 +02:00 · de118651a0
parent 5e7b127eac
commit de118651a0
1 changed files with 4 additions and 0 deletions
--- a/.gdbinit
+++ b/.gdbinit
@ -5,3 +5,7 @@
 source ~/config/gdb/commands.py
 source ~/config/gdb/commands2.py

+define exit
+kill
+quit
+end