From de118651a0a5c2785ce73ea6efe4a81e09746c02 Mon Sep 17 00:00:00 2001
From: Mathieu Maret <mathieu.maret@gmail.com>
Date: Mon, 21 Sep 2020 23:26:27 +0200
Subject: [PATCH] Gdb: add exit command

---
 .gdbinit | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.gdbinit b/.gdbinit
index dcdc16b..356091c 100644
--- a/.gdbinit
+++ b/.gdbinit
@@ -5,3 +5,7 @@
 source ~/config/gdb/commands.py
 source ~/config/gdb/commands2.py
 
+define exit
+kill
+quit
+end