deploy.sh

#!/bin/bash
set -e

echo "# set git environment"
git config user.email "local@localhost"
git config user.name "Vladimir Starkov"
git remote rm origin
git remote add origin https://iamstarkov:${GITHUB_TOKEN}@github.com/iamstarkov/fp-js-workshop.git

echo "# clean"
rm -rf dist

echo "# build"
mkdir dist

echo "# build 01-theoretic-intro"
mkdir dist/01-theoretic-intro
cleaver 01-theoretic-intro.md --output dist/01-theoretic-intro/index.html

echo "# build 02-practical-intro"
mkdir dist/02-practical-intro
cleaver 02-practical-intro.md --output dist/02-practical-intro/index.html

echo "# build 03-async"
mkdir dist/03-async
cleaver 03-async.md --output dist/03-async/index.html

echo "# build 04-contracts"
mkdir dist/04-contracts
cleaver 04-contracts.md --output dist/04-contracts/index.html

echo "# build 0X-nordicjs"
mkdir dist/0X-nordicjs
cleaver 0X-nordicjs.md --output dist/0X-nordicjs/index.html

echo "# build semantic-awesomeness"
mkdir dist/semantic-awesomeness
cleaver semantic-awesomeness.md --output dist/semantic-awesomeness/index.html

echo "# deploy dist to gh-pages"
buildbranch gh-pages dist