build.sh
#!/usr/bin/env bash
if [ ${TRAVIS_BRANCH} != 'master' ]; then
exit 0
fi
# Set identity
git config --global user.email "travis@travis-ci.org"
git config --global user.name "Travis"
# Update dist files
./node_modules/.bin/gulp clean
./node_modules/.bin/gulp
# Change remote
git remote remove origin
git remote add origin https://${GH_TOKEN}@github.com/elboletaire/tabbedcontent.git
git fetch origin
# Ensure we're not on a detached branch
git checkout master
# Commit and push
git add -f dist/tabbedcontent.min.js
git commit -m "Update dist files [skip ci]"
git push origin master
# prepare gh-pages
git clone --branch gh-pages --depth 1 \
https://${GH_TOKEN}@github.com/elboletaire/tabbedcontent.git \
../gh-pages
# remove all its content
rm -frv ../gh-pages/demos
# copy what we want
cp -frv dist/demos ../gh-pages
cd ../gh-pages/
# Push generated files
git add .
git commit -m "Update gh-pages"
git push origin gh-pages