From d064cad96fecb907593d9659be6ebcde76c3ecfa Mon Sep 17 00:00:00 2001
From: Rasmus Andersson <rasmus@notion.se>
Date: Tue, 11 Sep 2018 23:40:33 -0700
Subject: web: trying to work around issues with jekyll

---
 docs/_scripts/serve.sh | 18 +++++++++++-------
 1 file changed, 11 insertions(+), 7 deletions(-)

(limited to 'docs')

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
-- 
cgit v1.2.3