Set server properties for production.

2019-08-13 21:37:01 +02:00
parent a984aa769f
commit b3bb993867
6 changed files with 80 additions and 295 deletions
--- a/jenkins/Jenkinsfile-do-release
+++ b/jenkins/Jenkinsfile-do-release
@@ -0,0 +1,23 @@
+pipeline {
+    agent any
+
+    tools {
+        maven 'Maven-3.5.0'
+    }
+
+    stages {
+        stage('Perform release') {
+            steps {
+                dir('minager-properties') {
+                    git url:'https://gogs.takiguchi.ovh/Minager/minager-properties.git', branch: 'master', credentialsId: 'a6494064-8130-42fd-9d3d-e7734518c79e'
+                }
+                script {
+                    sh '''
+                        chmod u+x src/main/bash/do-release.bash
+                        src/main/bash/do-release.bash
+                    '''
+                }
+            }
+        }
+    }
+}