From 0ccc1449a1d8ec8955721d6946af03d5e7add0cb Mon Sep 17 00:00:00 2001
From: Timo Schmidt <tischmid@student.42berlin.de>
Date: Tue, 28 Mar 2023 06:11:13 +0200
Subject: [PATCH] idk

---
 .bashrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.bashrc b/.bashrc
index 773769c..7a4eb53 100644
--- a/.bashrc
+++ b/.bashrc
@@ -203,7 +203,7 @@ timo_moulinette () {
 
 	# Run binary
 	./${out_binary}
-	rm -f -- "./${out_binary}"
+	# rm -f -- "./${out_binary}"
 }
 
 prev () {