diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2017-08-22 21:53:33 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2017-08-22 21:53:33 +0300 |
| commit | 437b4b22603411966b6a07e346826fa538aed0ff (patch) | |
| tree | d8a5ce4cbd379e7fe7962d34a0e381855237f77c /docs/serve.sh | |
| parent | d0e0745b2728c37b5e82900abe1d35ff484a71cf (diff) | |
| download | inter-437b4b22603411966b6a07e346826fa538aed0ff.tar.xz | |
trying to fix broken github pages
Diffstat (limited to 'docs/serve.sh')
| -rwxr-xr-x | docs/serve.sh | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/docs/serve.sh b/docs/serve.sh deleted file mode 100755 index b10c7649f..000000000 --- a/docs/serve.sh +++ /dev/null @@ -1,24 +0,0 @@ -#!/bin/sh -set -e -cd "$(dirname "$0")" - -if [ ! -s lab/fonts ]; then - ln -s ../../build/dist lab/fonts -fi - -if (which caddy >/dev/null); then - caddy_args=(\ - -host localhost \ - "bind localhost" \ - "mime .woff2 font/woff2" \ - "mime .woff application/font-woff" \ - ) - caddy "${caddy_args[@]}" -elif (which servedir >/dev/null); then - servedir -else - echo "Can not find 'caddy' nor 'servedir' in PATH." >&2 - echo "Install caddy from brew, apt or https://caddyserver.com/download" - echo "or install servedir with 'npm install -g secure-servedir'" - exit 1 -fi |