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