From ae4b68364c461f7c1ebb1f3006c8aa6759dd1655 Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Wed, 31 Oct 2018 02:20:25 -0700 Subject: Add scripts to manage demo website --- .gitignore | 1 + index.html | 74 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ mksite | 23 +++++++++++++++++++ 3 files changed, 98 insertions(+) create mode 100644 index.html create mode 100755 mksite diff --git a/.gitignore b/.gitignore index 2f7896d..d843664 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,2 @@ target/ +.ghpages diff --git a/index.html b/index.html new file mode 100644 index 0000000..49ee9ff --- /dev/null +++ b/index.html @@ -0,0 +1,74 @@ + + + + + + + + +

+ +

+ + + + + diff --git a/mksite b/mksite new file mode 100755 index 0000000..8669655 --- /dev/null +++ b/mksite @@ -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 -- cgit v1.2.3