From 00bfd082723762ecd2ac9f11270f27953e7dd9f9 Mon Sep 17 00:00:00 2001 From: wkadmin Date: Thu, 30 Oct 2025 13:15:03 +0000 Subject: [PATCH] Actualiser Jenkinsfile --- Jenkinsfile | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 8b2151e..b3b2954 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,10 @@ pipeline { - agent { docker { image 'node:20' } } + agent { + docker { + image 'node:20' + args '-v /var/run/docker.sock:/var/run/docker.sock' + } + } stages { stage('Checkout') { @@ -31,7 +36,8 @@ pipeline { sh ''' echo "🚀 Déploiement du frontend via Docker Compose..." cd /srv/devops/the-tip-top - docker compose down the-tip-top-frontend || true + docker compose stop the-tip-top-frontend || true + docker compose rm -f the-tip-top-frontend || true docker compose up -d --build the-tip-top-frontend ''' }