view tools/update-gh-pages.sh @ 64:da6d6597bd69 default tip

rollback
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Fri, 15 Feb 2019 20:51:54 +0900
parents 2cf249471370
children
line wrap: on
line source

#!/usr/bin/env bash
# Adapted from script by Domenic Denicola
# Creative Commons Zero v1.0 Universal
# https://github.com/domenic/zones/blob/master/
# and here
# https://gist.github.com/domenic/ec8b0fc8ab45f39403dd
TARGET_BRANCH="gh-pages"
set -x
if [ "$TRAVIS_PULL_REQUEST" != "false" ] || [ "$TRAVIS_BRANCH" != "$TARGET_BRANCH"  ]; then
  printf "Starting to update %s\n" "$TARGET_BRANCH"
    # Save some useful information
  REPO=$(git config remote.origin.url)
  #SSH_REPO=${REPO/https:\/\/github.com\//git@github.com:}
  SSH_REPO='git@github.com:MoarVM/coverage.git'
  SHA=$(git rev-parse --verify HEAD)
  #copy data we're interested in to other place
  mkdir -p "$HOME/staging"
  # Do MoarVM specific code here
  # --------------------------------
  if [ "$TRAVIS_BRANCH" = 'master' ]; then
    cp -R $TRAVIS_BUILD_DIR/html-cov/* "$HOME/staging"
  else
    mkdir -p "$HOME/staging/$TRAVIS_BRANCH"
    cp -R $TRAVIS_BUILD_DIR/html-cov/* "$HOME/staging/${TRAVIS_BRANCH}"
  fi
  COMMIT_MSG="$(printf "Travis №%s built from %s %s" "$TRAVIS_BUILD_NUMBER" "$TRAVIS_BRANCH" "$(cd $TRAVIS_BUILD_DIR >/dev/null && git describe)")"
  # END MoarVM specific code
  # -----------------------------
  #go to home and setup git
  cd -- "$HOME" || echo "Couldn't cd into $HOME";
  git config --global user.name "Travis CI"
  #git config user.email "$COMMIT_AUTHOR_EMAIL"
  git config --global user.email "travis@travis-ci.org"
  #git config --global user.name "Travis"

  git clone -v $SSH_REPO $TARGET_BRANCH
  mkdir -p gh-pages
  cd gh-pages
  git checkout $TARGET_BRANCH || git checkout --orphan $TARGET_BRANCH
  # Copy our files from staging to the repo
  cp -Rf $HOME/staging/* .
  #if [ -z `git diff --exit-code` ]; then
  #  printf "No changes to the output on this push; exiting.\n"
  #  exit 0
  #fi
  #add, commit and push files
  ls -lh
  make_index () { $TRAVIS_BUILD_DIR/tools/make-index.sh > ./file-index.html ; }
  make_index

  sed -e 's|<body><h2>Coverage Report</h2>|<body><h2>Coverage Report <small>for libmoar, commit id '$SHA'</small></h2>|' < libmoar/index.html > libmoar_index.html

  sed -e 's|<body><h2>Coverage Report</h2>|<body><h2>Coverage Report <small>for moar, commit id '$SHA'</small></h2>|' < moar/index.html > moar_index.html

  sed -e 's|</body></html>||'  < libmoar_index.html > libmoar_index_head_and_content.html
  sed -e 's|.*</head><body>||' < moar_index.html    > moar_index_content_and_tail.html

  rm libmoar_index.html
  rm moar_index.html

  cp libmoar/style.css .

  sed --in-place -e "s|href='coverage/home/|href='libmoar/coverage/home/|g" libmoar_index_head_and_content.html
  sed --in-place -e "s|href='coverage/home/|href='moar/coverage/home/|g"    moar_index_content_and_tail.html

  cat libmoar_index_head_and_content.html moar_index_content_and_tail.html > index.html

  rm libmoar_index_head_and_content.html
  rm moar_index_content_and_tail.html

  git add -fv .
  git commit -m "$COMMIT_MSG" && \
  git pull --rebase --ff-only && \
  git push -fv origin $TARGET_BRANCH

  echo "Done magic with push"
fi