From eaf858b0979cc934a251e8ee7cbf908dfe73ef09 Mon Sep 17 00:00:00 2001
From: Simon Gardling <titaniumtown@gmail.com>
Date: Wed, 23 Feb 2022 10:15:58 -0500
Subject: [PATCH] fix push.sh commit message

---
 push.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/push.sh b/push.sh
index 7f581c9..36f444b 100755
--- a/push.sh
+++ b/push.sh
@@ -12,7 +12,11 @@ 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
+mv tmp/index.html tmp/index.html.bak
+commit_comment="<!-- Commit: $(git rev-parse HEAD) -->"
+echo $commit_comment > tmp/index.html
+cat tmp/index.html.bak >> tmp/index.html
+rm -fr tmp/index.html.bak
 
 echo "rsyncing"
 rsync -av --delete --info=progress2 tmp/ rpi-public:/mnt/hdd/http_share/integral-demo/