2022-02-18 19:01:49 +00:00
|
|
|
/* Do not edit this file. This is how the site gets built and deployed.
|
|
|
|
Are there better/cheaper/different ways to build and host a static site?
|
|
|
|
Yes. I'm aware. I have my reasons. Don't bug me about it.
|
|
|
|
*/
|
|
|
|
pipeline {
|
|
|
|
agent any
|
2022-02-18 20:30:29 +00:00
|
|
|
stages {
|
2022-02-18 20:33:54 +00:00
|
|
|
stage('Everything') {
|
2022-02-18 20:55:04 +00:00
|
|
|
agent { label 'prod_web' }
|
|
|
|
steps {
|
|
|
|
sh '''
|
|
|
|
cd $(mktemp -d);
|
|
|
|
wget https://git.doublehack.me/s00ner/Baltimore-hackthebox-knowledgebase/archive/main.tar.gz;
|
|
|
|
tar -xf main.tar.gz;
|
|
|
|
rsync --recursive --exclude 'Jenkinsfile' --delete ./baltimore-hackthebox-knowledgebase/ /home/mdbook/wiki/src/;
|
|
|
|
rm -rf $(pwd);
|
|
|
|
'''
|
|
|
|
}
|
2022-02-18 19:01:49 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|