Merge pull request 'rm-HackENS-keys' (#4) from rm-HackENS-keys into master

Reviewed-on: https://git.rz.ens.wtf/Klub-RZ/infrastructure/pulls/4
This commit is contained in:
raito 2021-11-09 19:37:52 +01:00
commit df41ea07c1
3 changed files with 0 additions and 3 deletions

View file

@ -74,7 +74,6 @@
users.users.root.openssh.authorizedKeys.keyFiles = [
./pubkeys/gdd.keys
./pubkeys/raito.keys
./pubkeys/hackens-milieu.keys
];
# Open ports in the firewall.

View file

@ -15,7 +15,6 @@ let
users.users.root.openssh.authorizedKeys.keyFiles = [
./pubkeys/gdd.keys
./pubkeys/raito.keys
./pubkeys/hackens-milieu.keys
];
programs.mosh.enable = true;

View file

@ -63,7 +63,6 @@
users.users.root.openssh.authorizedKeys.keyFiles = [
./pubkeys/gdd.keys
./pubkeys/raito.keys
./pubkeys/hackens-milieu.keys
./pubkeys/remote-builders.keys
];