fix for different base url

leanprover-community · Aug 27, 2024 · ba1c042 · ba1c042
1 parent 53e621b
commit ba1c042
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 1 deletion.
diff --git a/index.html b/index.html
@@ -20,6 +20,6 @@
         <!-- </p> -->
       </noscript>
     </div>
-    <script type="module" src="/client/src/index.tsx"></script>
+    <script type="module" src="client/src/index.tsx"></script>
   </body>
 </html>
diff --git a/server/index.mjs b/server/index.mjs
@@ -47,6 +47,7 @@ app.use('/api/toolchain/*', (req, res, next) => {
   req.url = 'lean-toolchain'
   express.static(path.join(__dirname, '..', 'Projects', project))(req, res, next)
 })
+// Using the client files
 app.use(express.static(path.join(__dirname, '..', 'client', 'dist')))
 app.use(nocache())
 

diff --git a/vite.config.ts b/vite.config.ts
@@ -52,6 +52,7 @@ export default defineConfig({
     })
   ],
   publicDir: "client/public/",
+  base: "/", // setting this to `/leanweb/` means the server is now accessible at `localhost:3000/leanweb`
   server: {
     port: 3000,
     proxy: {