From 7b12600848abbae9a28b05a1ed814f5d48a31af2 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Mon, 3 Mar 2025 13:09:04 +0400
Subject: [PATCH] bug

---
 bin/pdev | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/bin/pdev b/bin/pdev
index b5f1eed..f6d00c7 100755
--- a/bin/pdev
+++ b/bin/pdev
@@ -107,6 +107,7 @@ EOF
 fi
 EOF
 
+    [ -n "$Delete" -o -z "$ShouldDelete" ] && Deleted=1 || Deleted=
     [ -n "$ShouldDelete" -a -n "$Delete" ] && ShouldDelete=
     [ -n "$ShouldPush" -a -n "$Push" ] && ShouldPush=
     if [ -n "$_Fake" ]; then
@@ -119,7 +120,7 @@ En cas d'erreur de merge, veuillez corriger les erreurs puis continuer avec
 Sinon, veuillez consulter le script et/ou le relancer
     ./$script${Delete:+ delete}${Push:+ push}"
         die
-    elif [ -n "$Delete" -a -n "$Push" ]; then
+    elif [ -n "$Deleted" -a -n "$Push" ]; then
         [ -n "$_KeepScript" ] || rm "$script"
     else
         einfo "\