From 2a371abc3564a230832780c237e11fcc955a3e0b Mon Sep 17 00:00:00 2001
From: Oliver Bristow <evilumbrella+github@gmail.com>
Date: Thu, 28 May 2020 23:57:39 +0100
Subject: [PATCH] Workaround trailing slashes on website

This is as the website deployment 301s to add trailing slashes, and
Docusurus does not yet support that. Without one of the two yielding,
this workaround strips the trailing slash so the hrefs made still work.

Solution pinched from docusurus issue:
https://github.com/facebook/docusaurus/issues/2394
---
 website2/website/siteConfig.js             | 3 ++-
 website2/website/static/js/fix-location.js | 3 +++
 2 files changed, 5 insertions(+), 1 deletion(-)
 create mode 100644 website2/website/static/js/fix-location.js

diff --git a/website2/website/siteConfig.js b/website2/website/siteConfig.js
index 9651231ef43..e8fa9c9da3c 100644
--- a/website2/website/siteConfig.js
+++ b/website2/website/siteConfig.js
@@ -110,7 +110,8 @@ const siteConfig = {
   // Add custom scripts here that would be placed in <script> tags.
   scripts: [
     'https://buttons.github.io/buttons.js',
-    `${baseUrl}js/custom.js`
+    `${baseUrl}js/custom.js`,
+    `${baseUrl}js/fix-location.js`
   ],
 
   // On page navigation for the current documentation page.
diff --git a/website2/website/static/js/fix-location.js b/website2/website/static/js/fix-location.js
new file mode 100644
index 00000000000..3afb4300fcf
--- /dev/null
+++ b/website2/website/static/js/fix-location.js
@@ -0,0 +1,3 @@
+if (window && window.location && window.location.pathname.endsWith('/') && window.location.pathname !== '/') {
+  window.history.replaceState('', '', window.location.pathname.substr(0, window.location.pathname.length - 1))
+}