Renommer le dossier

tools/.deploy.sh

@@ -0,0 +1,37 @@
+#!/bin/bash
+
+LOG="/home/debian/travail/Logs/deploy.log"
+REPO_PATH="/home/debian/travail/Gestion_sondes"
+DATE=$(date '+%Y-%m-%d %H:%M:%S')
+
+echo "[$DATE] 🔄 Déploiement en cours depuis Gitea (merge develop → product)..." >> $LOG
+
+cd $REPO_PATH
+
+# Récupérer les dernières modifications
+git fetch origin >> $LOG 2>&1
+
+# Passer sur la branche product
+git checkout product >> $LOG 2>&1
+
+# Fusionner la branche develop dedans
+git merge origin/develop -m "Auto-merge develop into product via deploy.sh" >> $LOG 2>&1
+
+# Pousser la mise à jour (si tu veux que product soit mis à jour sur Gitea aussi)
+# git push origin product >> $LOG 2>&1
+
+# Redémarrer les services Supervisor
+for service in Cuisine_Saclay Monitor cuisine_meudon domo91
+do
+    supervisorctl stop $service >> $LOG 2>&1
+done
+
+sleep 2
+
+for service in Cuisine_Saclay Monitor cuisine_meudon domo91
+do
+    supervisorctl start $service >> $LOG 2>&1
+done
+
+DATE_END=$(date '+%Y-%m-%d %H:%M:%S')
+echo "[$DATE_END] ✅ Déploiement terminé avec succès (develop → product)" >> $LOG