diff options
author | Jakob Odersky <jakob@odersky.com> | 2018-10-31 02:20:25 -0700 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2018-10-31 02:20:25 -0700 |
commit | ae4b68364c461f7c1ebb1f3006c8aa6759dd1655 (patch) | |
tree | d2041951c08ddfee53458ad8bad2790b57843e56 /mksite | |
parent | 5a59e784e58e14a8c3634969674369839c5ee26e (diff) | |
download | identicon-ae4b68364c461f7c1ebb1f3006c8aa6759dd1655.tar.gz identicon-ae4b68364c461f7c1ebb1f3006c8aa6759dd1655.tar.bz2 identicon-ae4b68364c461f7c1ebb1f3006c8aa6759dd1655.zip |
Add scripts to manage demo website
Diffstat (limited to 'mksite')
-rwxr-xr-x | mksite | 23 |
1 files changed, 23 insertions, 0 deletions
@@ -0,0 +1,23 @@ +#!/bin/bash +set -o errexit + +ghpages=.ghpages +git_url="git@github.com:jodersky/scala-identicon.git" + +sbt fullOptJS +mkdir -p "$ghpages" +cp -f index.html "$ghpages" +cp -f js/target/scala-2.12/identicon-opt.js "$ghpages" + +case "$1" in + publish) + echo "Publishing website" >&2 + git -C "$ghpages" init + git -C "$ghpages" add . + git -C "$ghpages" commit -m "Publish website" || true + git -C "$ghpages" push -f "$git_url" master:gh-pages + ;; + *) + echo "Skipping publish step" >&2 + ;; +esac |