| #!/usr/bin/env bash |
| |
| # Abort on first error |
| set -e |
| |
| # Directories |
| SITE_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" |
| ROOT_DIR="$SITE_DIR/.." |
| BUILD_DIR="$SITE_DIR/build" |
| DIST_DIR="$BUILD_DIR/dist" |
| PAGES_DIR="$BUILD_DIR/pages" |
| |
| # Init options |
| GRADLE_OPT= |
| PUSH_OPT= |
| |
| # Set dry run if needed |
| if [ "$2" == "push" ] ; then |
| echo "--- Doing LIVE site deployment, so do clean build" |
| GRADLE_OPT=clean |
| else |
| echo "--- Doing dry-run. To commit do 'deploy.sh <version> push'" |
| PUSH_OPT=--dry-run |
| fi |
| |
| # Makes sure that site is built |
| "$ROOT_DIR/gradlew" $GRADLE_OPT site |
| |
| # Cleanup dist directory (and ignore errors) |
| rm -rf "$PAGES_DIR" || true |
| |
| # Prune worktrees to avoid errors from previous attempts |
| git --work-tree "$ROOT_DIR" worktree prune |
| |
| # Create git worktree for gh-pages branch |
| git --work-tree "$ROOT_DIR" worktree add -B gh-pages "$PAGES_DIR" origin/gh-pages |
| |
| # Now work in newly created workspace |
| cd "$PAGES_DIR" |
| |
| # Fixup all the old documentation files |
| # Remove non-.html files |
| git rm `find . -type f -not -name '*.html' -not -name '.git'` > /dev/null |
| |
| # Replace "experimental" .html files with links to the corresponding non-experimental version |
| # or remove them if there is no corresponding non-experimental file |
| echo "Redirecting experimental pages" |
| git_add=() |
| git_rm=() |
| for file in `find . -type f -name '*.html'` ; do |
| match=nothing_is_found |
| if [[ $file =~ \.experimental ]] ; then |
| match="${file//\.experimental/}" |
| fi |
| if [[ -f "$DIST_DIR/$match" ]] ; then |
| # redirect to non-experimental version |
| echo "<html><script>window.onload = function() { window.location.href = \"/kotlinx.coroutines${match#.}\" }</script></html>" > "$file" |
| git_add+=("$file") |
| else |
| # redirect not found -- remove the file |
| git_rm+=("$file") |
| fi |
| done |
| git add "${git_add[@]}" |
| git rm "${git_rm[@]}" > /dev/null |
| |
| # Copy new documentation from dist |
| cp -r "$DIST_DIR"/* "$PAGES_DIR" |
| |
| # Add it all to git |
| git add * |
| |
| # Commit docs for the new version |
| if [ -z "$1" ] ; then |
| echo "No argument with version supplied -- skipping commit" |
| else |
| git commit -m "Version $1 docs" |
| git push $PUSH_OPT origin gh-pages:gh-pages |
| fi |
