add coi-serviceworker

leanprover-community · Nov 4, 2023 · 6a74f98 · 6a74f98
1 parent e7901d8
commit 6a74f98
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 0 deletions.
diff --git a/index.html b/index.html
@@ -22,6 +22,7 @@
       +49 211 81-12173<br />
     </p>
   </noscript>
+  <script src="coi-serviceworker.js"></script>
   <script type="module" src="/client/src/index.tsx"></script>
 </body>
 

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -14,6 +14,7 @@
     "@leanprover/infoview": "^0.4.1",
     "@mui/material": "^5.13.7",
     "@vitejs/plugin-react-swc": "^3.4.0",
+    "coi-serviceworker": "^0.1.7",
     "express": "^4.18.2",
     "file-saver": "^2.0.5",
     "ip-anonymize": "^0.1.0",

diff --git a/vite.config.ts b/vite.config.ts
@@ -27,6 +27,10 @@ export default defineConfig({
         {
           src: 'node_modules/@leanprover/infoview/dist/*.production.min.js',
           dest: '.'
+        },
+        {
+          src: 'node_modules/coi-serviceworker/coi-serviceworker.js',
+          dest: '.'
         }
       ]
     })],