From 73eaec5bd6a41476b25039c6d5c94254160789d7 Mon Sep 17 00:00:00 2001
From: Kilian Ciuffolo <385716+kilianc@users.noreply.github.com>
Date: Fri, 17 May 2024 16:53:36 -0700
Subject: [PATCH] chore: try to control caching by adding meta cache tags (#46)

---
 assets/index.html |  3 +++
 scripts/push.sh   | 13 ++++++++-----
 2 files changed, 11 insertions(+), 5 deletions(-)
diff --git a/assets/index.html b/assets/index.html
index 420ae2e..3d94d0b 100644
--- a/assets/index.html
+++ b/assets/index.html
@@ -2,6 +2,9 @@
 <html lang="en">
   <head>
     <meta charset="utf-8" />
+    <meta http-equiv="Cache-Control" content="no-cache, no-store, must-revalidate" />
+    <meta http-equiv="Pragma" content="no-cache" />
+    <meta http-equiv="Expires" content="0" />
     <title>Waiting for GitHub Pages Deployment</title>
     <style>
       * {
diff --git a/scripts/push.sh b/scripts/push.sh
index 6d97865..de3df4e 100755
--- a/scripts/push.sh
+++ b/scripts/push.sh
@@ -27,13 +27,20 @@ cp incremental.out                     "${cover_dir}/revisions/${REVISION}-inc.o
 
 cd "${cover_dir}"
 
+# copy assets
+
+cp "${GITHUB_ACTION_PATH}"/assets/* .
+
 # beautify html
 
 # this is useful for browser caching
 hash=$(cat index.css index.js | md5sum | awk '{print $1}')
 
 for file in "revisions/${REVISION}.html" "revisions/${REVISION}-inc.html"; do
-  ex -sc '%s/<\/style>/<\/style><script src="..\/index.js?'"${hash}"'"><\/script>/' -c 'x' "${file}"
+  ex -sc '%s/<\/style>/<\/style>\r\t\t<script src="..\/index.js?'"${hash}"'"><\/script>/' -c 'x' "${file}"
+  ex -sc '%s/<title>/<meta http-equiv="Cache-Control" content="no-cache, no-store, must-revalidate" \/>\r\t\t<title>/' -c 'x' "${file}"
+  ex -sc '%s/<title>/<meta http-equiv="Pragma" content="no-cache" \/>\r\t\t<title>/' -c 'x' "${file}"
+  ex -sc '%s/<title>/<meta http-equiv="Expires" content="0" \/>\r\t\t<title>/' -c 'x' "${file}"
 done
 
 # if we are on the main branch, copy files to main.*
@@ -44,10 +51,6 @@ if [ "${REF_NAME}" = "main" ]; then
   cp "revisions/${REVISION}.out"  "${cover_dir}/head/head.out"
 fi
 
-# copy assets
-
-cp "${GITHUB_ACTION_PATH}"/assets/* "${cover_dir}"
-
 # push to branch
 
 git add .
