Amélioration script de déploiement

maj/dev.sh

@@ -5,8 +5,9 @@ BRANCH_ORIGIN=dev
 BRANCH=dev
 
 sudo chown www-data:www-data /var/www -R
-cd /var/www
-cd ${FOLDER}
-git checkout ${BRANCH}
-git pull origin ${BRANCH_ORIGIN}
-git push
+cd /var/www || { echo "Échec du changement de répertoire."; exit 1; }
+cd ${FOLDER} || { echo "Échec du changement de répertoire ${FOLDER}."; exit 1; }
+
+git checkout ${BRANCH} || { echo "Échec du changement de branche."; exit 1; }
+git pull origin ${BRANCH_ORIGIN} || { echo "Échec du pull depuis ${BRANCH_ORIGIN}."; exit 1; }
+git push || { echo "Échec du push."; exit 1; }