From b94875463ceb8a5a37b11dd5e3995a54a4fe1a38 Mon Sep 17 00:00:00 2001 From: Kilian Ciuffolo Date: Fri, 17 May 2024 16:16:12 -0700 Subject: [PATCH 1/3] chore: try to control caching by adding meta cache tags --- scripts/push.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/scripts/push.sh b/scripts/push.sh index 6d97865..51e420e 100755 --- a/scripts/push.sh +++ b/scripts/push.sh @@ -33,9 +33,13 @@ cd "${cover_dir}" 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>