let
  # set ssh public keys here for your system and user
  teapot_sys = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIL0SIfZoa02nUXilDdyB5FBBybCv12dfYUh9eCExiPb6 root@teapot";
  mae_teapot = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIDi83/SFKQqdJgZLOJDFSkPY8VWAqzV7XX9ZfocbTsfe mae@teapot";

  tesco_sys = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIKqryVRMbcei0pZTOP1wgTVzn452vgsUP7MrEb0LQ17s root@tesco";
  mae_tesco = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIN64wtGODBn2yygv1sOXnV8qbXImbOttMlhdTKEyQCoT mae@tesco";

  systemKeys = [ teapot_sys tesco_sys ];
  allKeys = [ mae_teapot mae_tesco ] ++ systemKeys;
in
{
  "binary-cache-secret.age".publicKeys = systemKeys;
}