tools: { ssh.id = with tools.dns; { publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAINH29WYsq4VNhx10Ms7WYQSNkPKknfK/JnHSQUf+RjlT"; extraHostNames = clientResolve "titan"; }; hypr = { id = "QmfJ5Tv2z9jFv9Aocevyn6QqRcfm9eYQZhvYvmAVfACfuM"; listenPort = 443; routes = [ "10.0.0.0/24" ]; }; nixos = import ./system.nix; }