Commit 09b6a5cf authored by Boris Baldassari's avatar Boris Baldassari
Browse files

Fix git push to website in jenkinsfile.

parent 6cf35106
......@@ -60,10 +60,8 @@ pipeline {
find ../website/public/ -name "*.csv" | xargs rm -rf
find ../website/public/ -name "git*.txt" | xargs rm -rf
echo "Creating download area."
rsync -am --include='*.bz2' --include='*/' --exclude='*' public/ test/
rsync -am --include='*.gz' --include='*/' --exclude='*' public/ test/
#echo "Creating www area."
#rsync -rv --exclude-from=../scripts/rsync_exclude.txt ../website/public/ ../www/
rsync -am --include='*.bz2' --include='*/' --exclude='*' public/ download/
rsync -am --include='*.gz' --include='*/' --exclude='*' public/ download/
echo "Cleaning website zone from compressed files."
find ../website/public/ -name "*.gz" -or -name "*.xz" -or -name "*.bz2" | xargs rm -rf
......@@ -79,13 +77,14 @@ pipeline {
stage('Deploy Website') {
steps {
sh '''
cd website/public/
DATE=$(date +"%Y-%m-%d %T")
git init
git remote add origin ssh://
git add .
git clone ssh:// download/
cd download/
rm -rf *
mv ../website/download/* .
git add -A .
git commit -m "Publish web site $DATE."
git push -f -u origin master
git push -u origin master
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment