diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2018-10-08 04:32:03 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2018-10-11 09:38:33 +0300 |
| commit | a0df8aa6d40ab7b1e96dafd93a197c6859580454 (patch) | |
| tree | 0d1ca583a4ea9cbb2112a114b66698e3a3ed9358 /docs/_scripts | |
| parent | f6050df80182f7bfc55e5f2df7c715969a1cb67d (diff) | |
| download | inter-a0df8aa6d40ab7b1e96dafd93a197c6859580454.tar.xz | |
website: big update with samples and vf stuff
Diffstat (limited to 'docs/_scripts')
| -rwxr-xr-x | docs/_scripts/serve.sh | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/docs/_scripts/serve.sh b/docs/_scripts/serve.sh index 02ad6f465..40f310df5 100755 --- a/docs/_scripts/serve.sh +++ b/docs/_scripts/serve.sh @@ -2,6 +2,11 @@ set -e cd "$(dirname "$0")/.." +if [ "$1" == "-h" ]; then + echo "usage: $0 [<bindaddr>]" >&2 + exit 1 +fi + if [ ! -s lab/fonts ]; then rm -f lab/fonts ln -fs ../../build/fonts lab/fonts @@ -15,4 +20,9 @@ fi # For live testing with fonts, you'll instead want to use docs/lab/serve.py rm -rf _site -jekyll serve --limit_posts 20 --watch --host 127.0.0.1 --port 3002 +BINDADDR=127.0.0.1 +if [ "$1" != "" ]; then + BINDADDR=$1 +fi + +jekyll serve --limit_posts 20 --watch --host "$BINDADDR" --port 3002 |