Change dev twelf-wasm redirect strategy (#31)

Hopefully the new strategy is one that works
standardml · Apr 1, 2024 · b2f3852 · b2f3852
1 parent fb99af3
commit b2f3852
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 37 deletions.
diff --git a/wiki/astro.config.mjs b/wiki/astro.config.mjs
@@ -5,12 +5,11 @@ import starlightLinksValidator from "starlight-links-validator";
 // https://astro.build/config
 export default defineConfig({
   site: "https://twelf.org",
-  redirects:
-    import.meta.env.MODE === "development"
-      ? {
-          "/twelf-wasm/": "/twelf-wasm/index.html",
-        }
-      : {},
+  redirects: import.meta.env.DEV
+    ? {
+        "/twelf-wasm/": "https://jcreedcmu.github.io/twelf-wasm/",
+      }
+    : {},
   trailingSlash: "always",
   integrations: [
     starlight({

diff --git a/wiki/src/pages/twelf-wasm/[...path].ts b/wiki/src/pages/twelf-wasm/[...path].ts