From 2c15ea71dae250a231b4676a9e5fa6e52c5c13f9 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Fri, 28 Feb 2025 20:24:41 +0400
Subject: [PATCH] bug

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

diff --git a/bin/pdev b/bin/pdev
index c077954..c0433e2 100755
--- a/bin/pdev
+++ b/bin/pdev
@@ -83,7 +83,7 @@ EOF
     elif ! "$script" merge ${Delete:+delete} ${Push:+push}; then
         eimportant "Veuillez consulter le script $script pour le détail des opérations qui n'ont pas pu êtres effectuées"
         die
-    elif [ -n "$Deleted" -n "$Pushed" ]; then
+    elif [ -n "$Deleted" -a -n "$Pushed" ]; then
         [ -n "$_KeepScript" ] || rm "$script"
     else
         local cmd