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