From 2c3e25987af554e3e71faa03a396e361513f1850 Mon Sep 17 00:00:00 2001 From: Filip Gralinski Date: Mon, 29 Nov 2021 13:27:43 +0100 Subject: [PATCH] Add comments to Jenkinsfile --- Jenkinsfile | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/Jenkinsfile b/Jenkinsfile index f7662ba..ec54987 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,12 +1,25 @@ pipeline { agent any + + + // We'll be running in a custom Docker image, but could be a ready-made + // image from DockerHub + // + // agent { + // docker { + // image 'loxygen/arch-latex' + // } + // } + stages { stage('Test') { steps { script { + // Custom Docker image, see Dockerfile def customImage = docker.build("paper-cutter:${env.BUILD_ID}") customImage.inside() { dir('test') { + // The user under which the job is run does not have a proper home directory (!) sh 'export PATH="$PATH:/usr/bin/vendor_perl"; export fakehomedir=`pwd`/fakehome; rm -rf $fakehomedir; mkdir $fakehomedir; export HOME=$fakehomedir; git config --global user.email "testing@testing.invalid"; git config --global user.name "testing"; bash run_tests.sh' } }