From 1fe1b5c6a06f8a0e5e3257aac0e9efa712377e62 Mon Sep 17 00:00:00 2001 From: nicholas Date: Sat, 5 Apr 2025 21:45:26 -0500 Subject: [PATCH] build to different host directory --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 7c49967..6885ccd 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,7 @@ pipeline { agent any environment { - DEPLOY_DIR = '/var/jenkins_home/deployments/personal-website' + DEPLOY_DIR = '/mnt/jenkins_deployments/personal-website' } stages { stage('Checkout') { @@ -13,7 +13,7 @@ pipeline { steps { sh """ rm -rf ${DEPLOY_DIR}/* - cp -r * ${DEPLOY_DIR}/ + cp -r ${WORKSPACE}/* ${DEPLOY_DIR}/" chmod -R 755 ${DEPLOY_DIR} """ }