From 6caff32f52d5c37cfe24d6ad754c68d9646cd7ae Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vojt=C4=9Bch=20=C5=A0t=C4=9Bpan=C4=8D=C3=ADk?=
 <vojtechstepancik@outlook.com>
Date: Thu, 30 Jan 2025 16:19:19 +0100
Subject: [PATCH] Make GoatCounter ignore the URL query (#1248)

The snippet comes from the
[documentation](https://www.goatcounter.com/help/path#using-window-goatcounter-490).

We should probably be able to get the canonical path from mdbook, but I
couldn't find how to get the `site-url` into the template, which we
would want to avoid hardcoding `/agda-unimath` in too many places.

There's also the issue with `/`, `/index.html` and `/HOME.html` all
being the same page with different paths, but I didn't want to put too
much effort into coming up with a principled fix.

Fixes #1247
---
 theme/index.hbs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/theme/index.hbs b/theme/index.hbs
index 44975ea210..49c106f475 100644
--- a/theme/index.hbs
+++ b/theme/index.hbs
@@ -356,6 +356,11 @@
 
     </div>
 
+    <script>
+        window.goatcounter = {
+            path: location.pathname || '/'
+        };
+    </script>
     <script data-goatcounter="https://agda-unimath.goatcounter.com/count" async src="//gc.zgo.at/count.js"></script>
 </body>