From 9423f642846d4087d66482d28ce2d50d1606aa22 Mon Sep 17 00:00:00 2001 From: takiguchi Date: Sun, 11 Aug 2019 22:08:09 +0200 Subject: [PATCH] Edit paths in jenkinsfile of production. --- jenkins/Jenkinsfile-prod | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/jenkins/Jenkinsfile-prod b/jenkins/Jenkinsfile-prod index c245202..9a4ae80 100644 --- a/jenkins/Jenkinsfile-prod +++ b/jenkins/Jenkinsfile-prod @@ -70,8 +70,8 @@ pipeline { cleanRemote: false, excludes: '', execCommand: """ - mv /home/minecraft/minager.jar /opt/minecraft/minager/bin/minager.jar - chmod 500 /opt/minecraft/minager/bin/minager.jar + mv /home/minecraft/minager.jar /home/minecraft/minager/bin/minager.jar + chmod 500 /home/minecraft/minager/bin/minager.jar sudo service minager restart """, execTimeout: 120000,