# User identity registry -- pure data, keyed by username. See README "Users".
# (`identity.username` is injected by mkHost, so it is not repeated here.)
{
  lyrathorpe = {
    fullName = "Lyra Thorpe";
    email = "iam@emmathe.dev";
    extraGroups = [
      "wheel"
      "docker"
    ];
    sshAuthorizedKeys = [
      "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIPDxHvdMTOzpFWUFMtCP7C/4tIOUO3GIO2QPvaifSnWH lyrathorpe@Lyra-MBA"
    ];
    signingKey = "key::ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIPDxHvdMTOzpFWUFMtCP7C/4tIOUO3GIO2QPvaifSnWH lyrathorpe@Lyra-MBA";
  };

  emmathorpe = {
    fullName = "Emma Thorpe";
    email = "emma.thorpe@citrix.com";
    extraGroups = [
      "wheel"
      "docker"
    ];
    # No personal key on file yet; add one if SSH login as emmathorpe is wanted.
    sshAuthorizedKeys = [ ];
    signingKey = "key::ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIAJMVgeRKnfX1G8coU3nAobI485aeUpGTMqH7+zbKI8o emma.thorpe@cloud.com";
  };
}