setup if3 subdomain

hosts/rico2/services/caddy.nix

@@ -1,12 +1,27 @@
-{secrets, ...}: {
+{
+  secrets,
+  if3,
+  ...
+}: {
   services.caddy = {
     enable = true;
     inherit (secrets.caddy_config) email;
 
-    virtualHosts."proofs.adtya.xyz" = {
+    virtualHosts = {
+      "proofs.adtya.xyz" = {
         extraConfig = ''
           redir https://keyoxide.org/hkp/${secrets.users.primary.pgpFingerprint}
         '';
       };
+
+      "if3.adtya.xyz" = {
+        extraConfig = ''
+          root * ${if3.packages.web}/share/web
+          encode gzip
+          try_files {path} /index.html
+          file_server
+        '';
+      };
+    };
   };
 }

hosts/rico2/services/frpc.nix

@@ -57,6 +57,18 @@ in {
         custom_domains = "proofs.adtya.xyz";
         local_port = 443;
       };
+
+      "http.if3.adtya.xyz" = {
+        type = "http";
+        custom_domains = "if3.adtya.xyz";
+        local_port = 80;
+      };
+
+      "https.if3.adtya.xyz" = {
+        type = "https";
+        custom_domains = "if3.adtya.xyz";
+        local_port = 443;
+      };
     };
   };
 }