redo firebase server component

Author: NickHu

Cargo.lock

@@ -43,7 +43,6 @@ find dist \
     ! -name highs.wasm \
     ! -name homotopy_web.js \
     ! -name homotopy_web_bg.wasm \
-    ! -name snippets \
     -type f -exec rm -f {} +
 cp -r homotopy-web/static/* dist/
 ls dist

Makefile.toml

@@ -1,8 +1,28 @@
 rules_version = '2';
 service cloud.firestore {
   match /databases/{database}/documents {
-    match /{document=**} {
-      allow read, write: if false;
+    match /users/{user} {
+      allow create: if true;
+      allow read, write: if request.auth.uid == user;
+    }
+    match /projects/{project} {
+      allow create: if request.resource.data.uid == request.auth.uid;
+      allow read, write: if request.auth.uid == resource.data.uid;
+      allow read: if resource.data.public;
+    }
+    match /personal-rs/{user} {
+      allow read: if true;
+      match /projects/{project} {
+        allow read: if resource.data.public || request.auth.uid == user;
+        allow create: if request.auth.uid == user
+                      && (request.resource.data.keys().hasOnly([]));
+        allow update: if request.auth.uid == user
+                      && (request.resource.data.diff(resource.data).affectedKeys().hasOnly(['public']));
+      }
+    }
+    match /published-rs/{document=**} {
+      allow read: if true;
     }
   }
 }
+

firestore.rules

@@ -80,6 +80,8 @@
                 { package = gdb; }
                 { package = rust-analyzer; }
                 { package = wasm-bindgen-cli; }
+                { package = nodejs; }
+                { package = jdk; }
                 { package = nodePackages.firebase-tools; }
               ]);
           };

flake.nix

@@ -1,33 +1,33 @@
 module.exports = {
-    root: true,
-    env: {
-        es6: true,
-        node: true,
-    },
-    extends: [
-        "eslint:recommended",
-        "plugin:import/errors",
-        "plugin:import/warnings",
-        "plugin:import/typescript",
-        "google",
-        "plugin:@typescript-eslint/recommended",
-    ],
-    parser: "@typescript-eslint/parser",
-    parserOptions: {
-        project: ["tsconfig.json", "tsconfig.dev.json"],
-        sourceType: "module",
-    },
-    ignorePatterns: [
-        "/lib/**/*", // Ignore built files.
-    ],
-    plugins: [
-        "@typescript-eslint",
-        "import",
-    ],
-    rules: {
-        "quotes": ["error", "double"],
-        "import/no-unresolved": 0,
-        "indent": ["error", 4],
-        "object-curly-spacing": ["error", "always"],
-    },
+  root: true,
+  env: {
+    es6: true,
+    node: true,
+  },
+  extends: [
+    "eslint:recommended",
+    "plugin:import/errors",
+    "plugin:import/warnings",
+    "plugin:import/typescript",
+    "google",
+    "plugin:@typescript-eslint/recommended",
+  ],
+  parser: "@typescript-eslint/parser",
+  parserOptions: {
+    project: ["tsconfig.json", "tsconfig.dev.json"],
+    sourceType: "module",
+  },
+  ignorePatterns: [
+    "/lib/**/*", // Ignore built files.
+  ],
+  plugins: [
+    "@typescript-eslint",
+    "import",
+  ],
+  rules: {
+    "quotes": ["error", "double"],
+    "import/no-unresolved": 0,
+    "indent": ["error", 2],
+    "object-curly-spacing": ["error", "always"],
+  },
 };