From 0bf5fae0f536139fe474b84de02bd4a6437e3858 Mon Sep 17 00:00:00 2001
From: Simon Gardling <titaniumtown@gmail.com>
Date: Wed, 23 Feb 2022 10:11:30 -0500
Subject: [PATCH] whoops

---
 push.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/push.sh b/push.sh
index 8655e9e..7f581c9 100755
--- a/push.sh
+++ b/push.sh
@@ -12,7 +12,7 @@ cp www/bootstrap.js www/index.html www/index.js www/style.css tmp/
 sed -i 's/\.\.\/pkg/\.\/pkg/g' tmp/bootstrap.js
 
 # put the commit at the beginning of index.html
-sed -i '1i <!-- Commit: $(git rev-parse HEAD) -->' tmp/index.html
+sed -i "1i <!-- Commit: $(git rev-parse HEAD) -->" tmp/index.html
 
 echo "rsyncing"
 rsync -av --delete --info=progress2 tmp/ rpi-public:/mnt/hdd/http_share/integral-demo/