SSH access for Gitea

2026-05-15 15:23:26 +02:00
parent c12da16d00
commit ecafb32328
5 changed files with 28 additions and 17 deletions
@@ -133,15 +133,31 @@ let
    '';
  });

+  cinnyConfigured = pkgs.cinny-unwrapped.overrideAttrs (_: {
+    postInstall = ''
+      cp ${
+        builtins.toFile "cinny-config.json" (
+          builtins.toJSON {
+            defaultHomeserver = 0;
+            homeserverList = [ "cyperpunk.de" ];
+            allowCustomHomeservers = false;
+          }
+        )
+      } $out/config.json
+    '';
+  });
+
 in
 {
  services.nginx.virtualHosts = {
    "cinny.cyperpunk.de" = {
      forceSSL = true;
      enableACME = true;
-      root = "${pkgs.cinny}";
+      root = "${cinnyConfigured}";
+      locations."/" = {
+        tryFiles = "$uri $uri/ /index.html";
+      };
    };
-
    "element.cyperpunk.de" = {
      forceSSL = true;
      enableACME = true;
@@ -128,7 +128,7 @@ in
            ];
            allow_existing_users = true;
            user_mapping_provider.config = {
-              localpart_template = "{{ user.preferred_username }}";
+              localpart_template = "{{ user.preferred_username.split('@')[0] }}";
              display_name_template = "{{ user.displayname }}";
            };
          }