#!/bin/bash PUBLICATION_BRANCH=master # set -x cd $HOME # Checkout the branch git clone --branch=$PUBLICATION_BRANCH https://${GITHUB_TOKEN}@github.com/${ARTEFACT_REPO}.git publish cd publish # Update pages cp $ARTEFACT_BASE/$BUILD_NAME.tar.xz . # Write index page cd $TRAVIS_BUILD_DIR COMMITS=`git log --oneline | awk '{print $1}'` cd $HOME/publish echo " HackRF Nightly Builds

HackRF Nightly Builds

" > index.html for commit in $COMMITS; do FILENAME=`find . -maxdepth 1 -name "*-$commit.tar.xz"` if [ "$FILENAME" != "" ]; then FN=${FILENAME:2} echo "$FN
" >> index.html fi done echo " " >> index.html # Commit and push latest version git add $BUILD_NAME.tar.xz index.html git config user.name "Travis" git config user.email "travis@travis-ci.org" git commit -m "Build products for $SHORT_COMMIT_HASH, built on $TRAVIS_OS_NAME, log: $TRAVIS_BUILD_WEB_URL" if [ "$?" != "0" ]; then echo "Looks like the commit failed" fi git push -fq origin $PUBLICATION_BRANCH