Klub-RZ/infrastructure
4
0
Fork 0
Code Issues 7 Pull requests Projects Releases Packages Wiki Activity

public-cof: add thubrecht

Browse source
This commit is contained in:
Raito Bezarius 2023-07-19 00:21:54 +02:00
parent b88167f46a
commit 42cd2d7b79
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
machines/public-cof/configuration.nix
View file

@ -56,6 +56,7 @@
../pubkeys/raito.keys ../pubkeys/raito.keys
../pubkeys/mrf.keys ../pubkeys/mrf.keys
../pubkeys/sinavir.keys ../pubkeys/sinavir.keys
../pubkeys/hubrecht.keys
]; ];
system.stateVersion = "21.05"; system.stateVersion = "21.05";

2
machines/public-cof/secrets/secrets.nix
View file

@ -2,7 +2,7 @@ let
pkgs = import <nixpkgs> {}; pkgs = import <nixpkgs> {};
lib = pkgs.lib; lib = pkgs.lib;
readPubkeys = user: builtins.filter (k: k != "") (lib.splitString "\n" (builtins.readFile (../../pubkeys + "/${user}.keys"))); readPubkeys = user: builtins.filter (k: k != "") (lib.splitString "\n" (builtins.readFile (../../pubkeys + "/${user}.keys")));
superadmins = (readPubkeys "raito") ++ (readPubkeys "gdd"); superadmins = (readPubkeys "raito") ++ (readPubkeys "gdd") ++ (readPubkeys "hubrecht");
public-cof = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIDUe/w7e3+KIa1YPFH9FGapDWM/sWOvOCcYXNlnIWypg"; public-cof = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIDUe/w7e3+KIa1YPFH9FGapDWM/sWOvOCcYXNlnIWypg";
systems = [ public-cof ]; systems = [ public-cof ];
in in