{ ... }: let trustedFriendGroups = [ "production-hydra-db" ]; in { # deleted users: ninjatrappeur, flokli users.users = { linus = { isNormalUser = true; home = "/home/linus"; shell = "/run/current-system/sw/bin/zsh"; uid = 2001; # Raito: I allowed linus to be root to get some stuff done # on behalf of me. extraGroups = [ "wheel" ] ++ trustedFriendGroups; openssh.authorizedKeys.keyFiles = [ ./keys/linus.keys ]; }; niklas = { isNormalUser = true; home = "/home/niklas"; shell = "/run/current-system/sw/bin/zsh"; uid = 2002; extraGroups = trustedFriendGroups; openssh.authorizedKeys.keyFiles = [ ./keys/niklas.keys ]; }; # Raito: Temporary account for jade, for benchmarking stuff. jade = { isNormalUser = true; home = "/home/jade"; shell = "/run/current-system/sw/bin/zsh"; uid = 2004; expires = "2024-05-01"; 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" ]; }; # Raito: Account for winter, she was the one in charge of the Darwin build box for a while, # helped a bunch of people and deserve it :-). winter = { isNormalUser = true; home = "/home/winter"; shell = "/run/current-system/sw/bin/zsh"; uid = 2005; expires = "2024-05-01"; extraGroups = trustedFriendGroups; openssh.authorizedKeys.keys = [ "sk-ssh-ed25519@openssh.com AAAAGnNrLXNzaC1lZDI1NTE5QG9wZW5zc2guY29tAAAAIH/LDRUG+U+++UmlxvA2kspioTjktQZ8taDcHq8gVlkfAAAABHNzaDo=" ]; }; }; }