1 files changed, 56 insertions, 0 deletions
diff --git a/docs/404.html b/docs/404.html
new file mode 100644
index 0000000..57e4984
--- /dev/null
+++ b/docs/404.html
@@ -0,0 +1,56 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <meta charset="utf-8" />
+    <title>Lustre</title>
+
+    <script type="module">
+      // Single Page Apps for GitHub Pages
+      // MIT License
+      // https://github.com/rafgraph/spa-github-pages
+      // This script takes the current url and converts the path and query
+      // string into just a query string, and then redirects the browser
+      // to the new url with only a query string and hash fragment,
+      // e.g. https://www.foo.tld/one/two?a=b&c=d#qwe, becomes
+      // https://www.foo.tld/?/one/two&a=b~and~c=d#qwe
+      // Note: this 404.html file must be at least 512 bytes for it to work
+      // with Internet Explorer (it is currently > 512 bytes)
+
+      // If you're creating a Project Pages site and NOT using a custom domain,
+      // then set pathSegmentsToKeep to 1 (enterprise users may need to set it to > 1).
+      // This way the code will only replace the route part of the path, and not
+      // the real directory in which the app resides, for example:
+      // https://username.github.io/repo-name/one/two?a=b&c=d#qwe becomes
+      // https://username.github.io/repo-name/?/one/two&a=b~and~c=d#qwe
+      // Otherwise, leave pathSegmentsToKeep as 0.
+      const pathSegmentsToKeep = import.meta.env.BASE_URL === "/" ? 0 : 1;
+
+      if (window.location.pathname.startsWith("/lustre")) {
+        const protocol = window.location.protocol;
+        const hostname = window.location.hostname;
+        const port = window.location.port;
+        const pathname = window.location.pathname
+          .split("/")
+          .slice(0, 1 + pathSegmentsToKeep)
+          .join("/");
+        const query = window.location.pathname
+          .slice(1)
+          .split("/")
+          .slice(pathSegmentsToKeep)
+          .join("/")
+          .replace(/&/g, "~and~");
+        const search = window.location.search
+          ? "&" + window.location.search.slice(1).replace(/&/g, "~and~")
+          : "";
+        const hash = window.location.hash;
+
+        window.location.replace(
+          `${protocol}//${hostname}${
+            port ? ":" + port : ""
+          }${pathname}/?/${query}${search}${hash}`
+        );
+      }
+    </script>
+  </head>
+  <body></body>
+</html>