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 () {