forked from HelfenKannJeder/come2help
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The JSONdoc distributable zip will be pushed to the gh-pages branch of the source repository on GitHub if a Travis build succeeds.
- Loading branch information
Joshua Gleitze
committed
Nov 9, 2015
1 parent
f3a5b77
commit 3d25999
Showing
2 changed files
with
47 additions
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,3 +1,6 @@ | ||
language: java | ||
jdk: | ||
- oraclejdk8 | ||
- oraclejdk8 | ||
|
||
after_success: | ||
- ./deploy.sh |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,43 @@ | ||
#!/bin/bash | ||
|
||
# If GH_TOKEN is not set, we'll exit gracefully | ||
if [ -z ${GH_TOKEN:+1} ]; then | ||
echo "The GH_TOKEN ENV is not set. Thus, we'll won't deploy to gh-pages" | ||
exit 0 | ||
fi | ||
|
||
set -e # exit with nonzero exit code if anything fails | ||
|
||
# Create an empty deploy directory. Any data that's going to be deployed shall be in there. | ||
mkdir -p deploy | ||
|
||
# Create the JSONdoc zip | ||
mvn package -Pdistributable -Dmaven.test.skip=true -Dfindbugs.skip=true | ||
|
||
echo | ||
echo | ||
|
||
# Copy the jsondoc zip to the deply directory | ||
cp target/jsondoc-distribution.zip deploy | ||
|
||
# go to the deploy directory and create a *new* Git repo | ||
cd deploy | ||
git init | ||
|
||
# inside this git repo we'll pretend to be a new user | ||
git config user.name "Travis CI" | ||
git config user.email "[email protected]" | ||
|
||
# The first and only commit to this new Git repo contains all the | ||
# files present with the commit message "Deploy to GitHub Pages". | ||
git add . | ||
git commit -m "Deploy to GitHub Pages" | ||
|
||
# Force push from the current repo's master branch to the remote | ||
# repo's gh-pages branch. (All previous history on the gh-pages branch | ||
# will be lost, since we are overwriting it.) We redirect any output to | ||
# /dev/null to hide any sensitive credential data that might otherwise be exposed. | ||
git push --force --quiet "https://${GH_TOKEN}@github.com/${TRAVIS_REPO_SLUG}.git" master:gh-pages > /dev/null 2>&1 | ||
|
||
# Restore PWD | ||
cd $OLDPWD |