From 6a408020c461e2024dbafb873120bcd88af2b1c5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Artur=20Ku=C5=9B?= Date: Thu, 29 May 2025 22:31:48 +0200 Subject: [PATCH] No idea for restart with environment --- deploy-this/restart-docker.jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deploy-this/restart-docker.jenkinsfile b/deploy-this/restart-docker.jenkinsfile index 8862c73..f3d5c14 100755 --- a/deploy-this/restart-docker.jenkinsfile +++ b/deploy-this/restart-docker.jenkinsfile @@ -4,7 +4,7 @@ pipeline { stages{ stage('restart docker') { steps { - cp jenkins_env.env .env + sh("docker ps -q | grep -v \$(docker ps -qf 'name=jenkins') | xargs docker restart"); } }