diff options
author | Rasmus Andersson <rasmus@notion.se> | 2018-09-12 09:40:33 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2018-10-11 09:37:37 +0300 |
commit | d064cad96fecb907593d9659be6ebcde76c3ecfa (patch) | |
tree | 05305cad507b6634cd4ce587c86b4f56579fa831 /docs/_scripts | |
parent | 26a7168d83b461dffa47823538c104c0f04ecf0c (diff) | |
download | inter-d064cad96fecb907593d9659be6ebcde76c3ecfa.tar.xz |
web: trying to work around issues with jekyll
Diffstat (limited to 'docs/_scripts')
-rwxr-xr-x | docs/_scripts/serve.sh | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/docs/_scripts/serve.sh b/docs/_scripts/serve.sh index 203156643..8fea76ccb 100755 --- a/docs/_scripts/serve.sh +++ b/docs/_scripts/serve.sh @@ -2,23 +2,27 @@ set -e cd "$(dirname "$0")/.." -if [ ! -d lab/fonts ]; then +if [ ! -s lab/fonts ]; then + rm -rf 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. -# -# Step 1/2: remove any previous symlink, or jekyll crashes -rm -f _site/lab/fonts -# -# Step 2/2: create symlink again after some delay. Ugh. sh <<_EOF_ & N=3 while [ \$N -gt 0 ]; do sleep 1 - rm -f _site/lab/fonts + 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 ln -fs ../../../build/fonts _site/lab/fonts let N=N-1 done |