chore: try to control caching by adding meta cache tags (#46)

gha-common · May 17, 2024 · 73eaec5 · 73eaec5
1 parent 0cd5af9
commit 73eaec5
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 5 deletions.
diff --git 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
@@ -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 .