#!/bin/bash

cp index.html dist
sed -i -- 's~/_compile/src/Main.elm~main.js~' dist/index.html
sed -i -- 's~runElmProgram~Elm.Main.fullscreen~' dist/index.html

gh-pages --dist dist

# Refresh the gh-pages branch in particular.
git fetch

#!/usr/bin/env bash

if [ $CI == "true" ]; then
    git config --global user.email "deploy@circleci"
    git config --global user.name "CircleCI deployment"
fi

cp index.html dist
sed -i -- 's~/_compile/src/Main.elm~main.js~' dist/index.html
sed -i -- 's~runElmProgram~Elm.Main.fullscreen~' dist/index.html

gh-pages --dist dist

# Refresh the gh-pages branch in particular.
git fetch

Add git identity if CI
Add git identity if CI
