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

deploy: add remote-builder-01 and my remote builder SSH key

Browse source
This commit is contained in:
Raito Bezarius 2021-07-29 00:08:48 +02:00
parent dee54e706d
commit 2a33516e54
3 changed files with 9 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
krops.nix
View file

@ -24,9 +24,11 @@ let
};
};
mkTestsConfig = hostnames: builtins.listToAttrs (map mkTestConfig hostnames);
in {
core-services-01 = pkgs.krops.writeDeploy "deploy-core-services-01" {
source = source "core-services-01";
target = "root@core01.internal.rz.ens.wtf";
mkDeploy = hostname: target: { ${hostname} = pkgs.krops.writeDeploy "deploy-${hostname}" {
source = source hostname;
inherit target;
};
} // mkTestsConfig [ "core-services-01" "remote-builder-01" ]
in {}
// mkDeploy "core-services-01" "root@core01.internal.rz.ens.wtf"
// mkDeploy "remote-builder-01" "root@nix01.builders.rz.ens.wtf"
// mkTestsConfig [ "core-services-01" "remote-builder-01" ]

1
machines/remote-builder-01/configuration.nix
View file

@ -64,6 +64,7 @@
./pubkeys/gdd.keys
./pubkeys/raito.keys
./pubkeys/hackens-milieu.keys
./pubkeys/remote-builders.keys
];
# Open ports in the firewall.

1
machines/remote-builder-01/pubkeys/remote-builders.keys Normal file
View file

@ -0,0 +1 @@
ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIA3hCOyFwuoCLt5W9e9yQSwj9I+VspB0kNNHsoFngbgZ Raito's remote builder key