Michel/Gestion_sondes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fusion de product dans develop

Browse Source
This commit is contained in:
Michel
2025-05-07 08:57:38 +02:00
parent f052052cf3 96ffdc7eb1
commit 00de388083
12 changed files with 97 additions and 416 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/restart_services.sh Normal file → Executable file
View File

@@ -1,6 +1,6 @@
#!/bin/bash
LOG="/home/debian/travail/Gestion_sondes/Logs/restart_services.log"
LOG="/home/debian/Gestion_sondes/Logs/restart_services.log"
DATE=$(date '+%Y-%m-%d %H:%M:%S')
echo "[$DATE] 🔄 Redémarrage des services Supervisor" >> $LOG
@@ -34,4 +34,4 @@ else
echo " → $LOG"
fi
echo ""
echo "===== ✅ FIN DU SCRIPT ====="
echo "===== ✅ FIN DU SCRIPT ====="

6
scripts/update_product.sh Normal file → Executable file
View File

@@ -1,7 +1,7 @@
#!/bin/bash
LOG="/home/debian/travail/Gestion_sondes/Logs/update_product.log"
REPO_PATH="/home/debian/travail/Gestion_sondes"
LOG="/home/debian/Gestion_sondes/Logs/update_product.log"
REPO_PATH="/home/debian/Gestion_sondes"
DATE=$(date '+%Y-%m-%d %H:%M:%S')
echo "[$DATE] 🔄 Lancement du script de mise à jour" >> $LOG
@@ -29,4 +29,4 @@ git merge origin/develop -m "🧩 Merge auto develop → product" >> $LOG 2>&1
git push origin product >> $LOG 2>&1
DATE_END=$(date '+%Y-%m-%d %H:%M:%S')
echo "[$DATE_END] ✅ Mise à jour terminée avec succès." >> $LOG
echo "[$DATE_END] ✅ Mise à jour terminée avec succès." >> $LOG