add gitolite

2024-03-31 17:14:03 +02:00
parent 8581a34d16
commit 4df86b98ff
4 changed files with 14 additions and 3 deletions
--- a/users/option.nix
+++ b/users/option.nix
@@ -15,5 +15,9 @@
      default = "";
      description = "keyboard variant";
    };
+    sshKey = lib.mkOption {
+      default = throw "No ssh key specified";
+      description = "Public key of the user";
+    }
  };
 }