diff options
Diffstat (limited to 'docs/_scripts/serve.sh')
-rwxr-xr-x | docs/_scripts/serve.sh | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/docs/_scripts/serve.sh b/docs/_scripts/serve.sh index db95cfa59..27d51b607 100755 --- a/docs/_scripts/serve.sh +++ b/docs/_scripts/serve.sh @@ -3,31 +3,27 @@ set -e cd "$(dirname "$0")/.." if [ ! -s lab/fonts ]; then - rm -rf lab/fonts + rm -f lab/fonts ln -fs ../../build/fonts lab/fonts fi -rm -rf _site - # jekyll is a little dumb and resolves the lab/fonts symlink and copies # all font files to _site when started. Bad jekyll. # Let's work around that. +rm -rf _site sh <<_EOF_ & N=3 while [ \$N -gt 0 ]; do sleep 1 mkdir -p _site/lab - ln -fs ../../../build/fonts _site/lab/fonts - sleep 5 if [ -d _site/lab/fonts ]; then rm -rf _site/lab/fonts else rm -f _site/lab/fonts fi - mkdir -p _site/lab ln -fs ../../../build/fonts _site/lab/fonts let N=N-1 done _EOF_ -jekyll serve --limit_posts 20 --watch --host 127.0.0.1 --port 3002 --open-url +jekyll serve --limit_posts 20 --watch --host 127.0.0.1 --port 3002 |