2023-08-17 21:37:18 +00:00
|
|
|
{ ... }:
|
|
|
|
let
|
|
|
|
trustedFriendGroups = [
|
|
|
|
"production-hydra-db"
|
|
|
|
];
|
|
|
|
in
|
|
|
|
{
|
2024-03-27 15:38:45 +00:00
|
|
|
# deleted users: ninjatrappeur, flokli
|
2023-08-16 13:22:54 +00:00
|
|
|
users.users = {
|
2023-08-17 21:37:18 +00:00
|
|
|
linus = {
|
|
|
|
isNormalUser = true;
|
|
|
|
home = "/home/linus";
|
|
|
|
shell = "/run/current-system/sw/bin/zsh";
|
|
|
|
uid = 2001;
|
2023-09-18 07:59:14 +00:00
|
|
|
# Raito: I allowed linus to be root to get some stuff done
|
|
|
|
# on behalf of me.
|
|
|
|
extraGroups = [ "wheel" ] ++ trustedFriendGroups;
|
2023-08-17 21:37:18 +00:00
|
|
|
openssh.authorizedKeys.keyFiles = [ ./keys/linus.keys ];
|
|
|
|
};
|
2024-01-04 22:34:49 +00:00
|
|
|
niklas = {
|
2023-12-29 16:54:33 +00:00
|
|
|
isNormalUser = true;
|
2024-01-04 22:34:49 +00:00
|
|
|
home = "/home/niklas";
|
2023-12-29 16:54:33 +00:00
|
|
|
shell = "/run/current-system/sw/bin/zsh";
|
|
|
|
uid = 2002;
|
|
|
|
extraGroups = trustedFriendGroups;
|
|
|
|
openssh.authorizedKeys.keyFiles = [ ./keys/niklas.keys ];
|
|
|
|
};
|
2024-05-13 20:50:31 +00:00
|
|
|
# Raito: Permanent account for Jade who has been driving a lot of good work.
|
|
|
|
# expires = 2060 because of a convergence bug, I cannot remove the expiration date anymore.
|
2024-03-24 20:39:13 +00:00
|
|
|
jade = {
|
|
|
|
isNormalUser = true;
|
|
|
|
home = "/home/jade";
|
|
|
|
shell = "/run/current-system/sw/bin/zsh";
|
|
|
|
uid = 2004;
|
2024-05-12 00:59:50 +00:00
|
|
|
expires = "2060-05-01";
|
2024-03-24 20:39:13 +00:00
|
|
|
extraGroups = trustedFriendGroups;
|
|
|
|
openssh.authorizedKeys.keys = [
|
|
|
|
"ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQDNldAg4t13/i69TD786The+U3wbiNUdW2Kc9KNWvEhgpf4y4x4Sft0oYfkPw5cjX4H3APqfD+b7ItAG0GCbwHw6KMYPoVMNK08zBMJUqt1XExbqGeFLqBaeqDsmEAYXJRbjMTAorpOCtgQdoCKK/DvZ51zUWXxT8UBNHSl19Ryv5Ry5VVdbAE35rqs57DQ9+ma6htXnsBEmmnC+1Zv1FE956m/OpBTId50mor7nS2FguAtPZnDPpTd5zl9kZmJEuWCrmy6iinw5V4Uy1mLeZkQv+/FtozbyifCRCvps9nHpv4mBSU5ABLgnRRvXs+D41Jx7xloNADr1nNgpsNrYaTh hed-bot-ssh-tpm-rsa"
|
|
|
|
"sk-ssh-ed25519@openssh.com AAAAGnNrLXNzaC1lZDI1NTE5QG9wZW5zc2guY29tAAAAIKYljH8iPMrH00lOb3ETxRrZimdKzPPEdsJQ5D5ovtOwAAAACnNzaDpzc2hrZXk= ssh:sshkey"
|
|
|
|
"ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBO4idMfdJxDJuBNOid60d4I+qxj09RHt+YkCYV2eXt6tGrEXg+S8hTQusy/SqooiXUH9pt4tea2RuBPN9+UwrH0= type-a yubikey slot 9a"
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIHGIBMfUypLctmorlRz9xIzXRgmtqDMxF5T5Fxy4JxNb root@tail-bot"
|
|
|
|
];
|
|
|
|
};
|
2024-05-13 20:50:20 +00:00
|
|
|
# Raito: Permanent account for winter, she was the one in charge of the Darwin build box for a while,
|
2024-03-27 15:33:35 +00:00
|
|
|
# helped a bunch of people and deserve it :-).
|
2024-05-13 20:50:20 +00:00
|
|
|
# expires = 2060 because of a convergence bug, I cannot remove the expiration date anymore.
|
2024-03-27 15:33:35 +00:00
|
|
|
winter = {
|
|
|
|
isNormalUser = true;
|
|
|
|
home = "/home/winter";
|
|
|
|
shell = "/run/current-system/sw/bin/zsh";
|
|
|
|
uid = 2005;
|
2024-05-13 20:50:20 +00:00
|
|
|
expires = "2060-05-01";
|
2024-03-27 15:33:35 +00:00
|
|
|
extraGroups = trustedFriendGroups;
|
|
|
|
openssh.authorizedKeys.keys = [
|
|
|
|
"sk-ssh-ed25519@openssh.com AAAAGnNrLXNzaC1lZDI1NTE5QG9wZW5zc2guY29tAAAAIH/LDRUG+U+++UmlxvA2kspioTjktQZ8taDcHq8gVlkfAAAABHNzaDo="
|
|
|
|
];
|
|
|
|
};
|
2024-05-13 20:49:18 +00:00
|
|
|
# Raito: Permanent account for pennae, they are doing a bunch of excellent Nix work (including performance).
|
|
|
|
pennae = {
|
|
|
|
isNormalUser = true;
|
|
|
|
home = "/home/pennae";
|
|
|
|
shell = "/run/current-system/sw/bin/zsh";
|
|
|
|
uid = 2006;
|
2024-05-22 11:26:07 +00:00
|
|
|
# Raito: Allowed to debug jobserver.
|
|
|
|
extraGroups = [ "wheel" ] ++ trustedFriendGroups;
|
2024-05-13 20:49:18 +00:00
|
|
|
openssh.authorizedKeys.keys = [
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIC5Wf5/IbyFpdziWfwxkQqxOf3r1L9pYn6xQBEKFwmMY"
|
|
|
|
"sk-ssh-ed25519@openssh.com AAAAGnNrLXNzaC1lZDI1NTE5QG9wZW5zc2guY29tAAAAIK8icXjHkb4XzbIVN3djH4CE7RvgGd+3xbG4cgh0Yls5AAAABHNzaDo="
|
|
|
|
];
|
|
|
|
};
|
2023-08-16 13:22:54 +00:00
|
|
|
};
|
|
|
|
}
|