docker-build.sh

#!/bin/bash
set -o errexit
set -o nounset
set -o pipefail
shopt -s extglob

TMP_DIR=$(mktemp -d)

function main {
  local here
  here=$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )

  # We want the image to contain:
  # * All of the important stuff from the top-level (html-build) directory
  # * But, the Dockerfile from this (ci-build) directory
  # And in particular it should *not* contain the top-level Dockerfile, dotfiles, .git/, and
  # any html/ and output/ directories that might be hanging around from local testing.
  cp "$here/Dockerfile" "$TMP_DIR"
  cd "$here/.."
  cp -r !(.*|html|output|Dockerfile) "$TMP_DIR"
  cd "$TMP_DIR"
  trap cleanTemp EXIT

  local ghcr_repo="ghcr.io/whatwg/html-build"

  # Build the Docker image, using GHCR as a cache. (This will be fast if nothing has changed
  # in html-build or its dependencies).
  docker pull ghcr.io/whatwg/wattsi
  docker pull "$ghcr_repo" || true
  docker build --cache-from "$ghcr_repo" --tag "$ghcr_repo" .
}

function cleanTemp {
  rm -rf "$TMP_DIR"
}

main "$@"