Add google analytics to track whether anybody is using it

Author: mathijs81

.github/workflows/deploy.yml

@@ -22,6 +22,10 @@ jobs:
         run: npm run codegen;npm run build
         working-directory: web
 
+      - name: inject-analytics
+        run: misc/apply.sh dist/index.html
+        working-directory: web
+
       - name: deploy (repo)
         uses: JamesIves/github-pages-deploy-action@4.1.4
         with:

web/misc/apply.sh

@@ -0,0 +1,3 @@
+#!/bin/bash
+sed -e 's/<\/head>/\nINSERT_ANALYTICS\n&/' $1 | sed -e '/INSERT_ANALYTICS/{r misc/ganalytics-tracking.html' -e 'd}' > /tmp/index.html
+mv /tmp/index.html $1

web/misc/ganalytics-tracking.html

@@ -0,0 +1,8 @@
+<script async src="https://www.googletagmanager.com/gtag/js?id=G-YC9LH690WX"></script>
+<script>
+  window.dataLayer = window.dataLayer || [];
+  function gtag(){dataLayer.push(arguments);}
+  gtag('js', new Date());
+
+  gtag('config', 'G-YC9LH690WX');
+</script>