tools: { ssh.id = with tools.dns; { publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIGHMvKAtawuD2mrUOLo8ueb+A7q87xmZvXSCX60QO1r7"; extraHostNames = clientResolve "jericho"; }; hyprspace = { id = "QmccBLgGP3HR36tTkwSYZX3KDv2EXb1MvYwGVs6PbpbHv9"; }; nixos = import ./system.nix; }