update push.sh

2022-02-23 10:10:26 -05:00
parent 4ceb052b46
commit 1f411facb3
1 changed files with 3 additions and 0 deletions
--- a/push.sh
+++ b/push.sh
@@ -11,6 +11,9 @@ 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
+
 echo "rsyncing"
 rsync -av --delete --info=progress2 tmp/ rpi-public:/mnt/hdd/http_share/integral-demo/
 rsync -av --delete --info=progress2 --exclude=".git" tmp/ ../integral-demo/