From bf297c7f161de5e4faebf8901ebf38d2336bd978 Mon Sep 17 00:00:00 2001 From: takiguchi Date: Fri, 23 Aug 2019 21:40:05 +0200 Subject: [PATCH] Edit pipeline for new server configuration. --- jenkins/Jenkinsfile-prod | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/jenkins/Jenkinsfile-prod b/jenkins/Jenkinsfile-prod index 9a4ae80..f96a9eb 100644 --- a/jenkins/Jenkinsfile-prod +++ b/jenkins/Jenkinsfile-prod @@ -14,7 +14,7 @@ pipeline { stage('Configuration') { steps { dir('minager-properties') { - git url:'https://gogs.takiguchi.ovh/Minager/minager-properties.git', branch: 'master', credentialsId: 'a6494064-8130-42fd-9d3d-e7734518c79e' + git url:'https://gitea.takiguchi.ovh/Minager/minager-properties.git', branch: 'master', credentialsId: 'a6494064-8130-42fd-9d3d-e7734518c79e' } script { sh 'cp ./minager-properties/application-prod.yml ./src/main/resources/application.yml' @@ -70,8 +70,8 @@ pipeline { cleanRemote: false, excludes: '', execCommand: """ - mv /home/minecraft/minager.jar /home/minecraft/minager/bin/minager.jar - chmod 500 /home/minecraft/minager/bin/minager.jar + mv /home/minecraft/minager.jar /home/minecraft/minager/minager.jar + chmod 700 /home/minecraft/minager/minager.jar sudo service minager restart """, execTimeout: 120000,