summaryrefslogtreecommitdiff
path: root/docs/_scripts
diff options
context:
space:
mode:
authorRasmus Andersson <rasmus@notion.se>2018-09-12 09:40:33 +0300
committerRasmus Andersson <rasmus@notion.se>2018-10-11 09:37:37 +0300
commitd064cad96fecb907593d9659be6ebcde76c3ecfa (patch)
tree05305cad507b6634cd4ce587c86b4f56579fa831 /docs/_scripts
parent26a7168d83b461dffa47823538c104c0f04ecf0c (diff)
downloadinter-d064cad96fecb907593d9659be6ebcde76c3ecfa.tar.xz
web: trying to work around issues with jekyll
Diffstat (limited to 'docs/_scripts')
-rwxr-xr-xdocs/_scripts/serve.sh18
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