rec { network = { subnet = "192.168.2.0/24"; subnet_base = "192.168.2.0"; gateway = ips.router; cidr = 24; }; devices = { "pi" = { type = "local"; ip = "192.168.2.100"; }; "desktop" = { type = "local"; ip = "192.168.2.101"; reservation = { hw_address = "30:9c:23:81:91:ea"; hostname = "desktop"; }; }; "router" = { type = "local"; ip = "192.168.2.1"; }; "remote_proxy" = { type = "auto_ssh"; ip = "193.31.24.99"; domain = "nudelerde.de"; auto_ssh = { sshPort = 22; sshUser = "root"; key = secret.remote_proxy_key; known_hosts = secret.remote_proxy_known_hosts; forwards = []; }; }; }; dhcp = { pool_start = "192.168.2.50"; pool_end = "192.168.2.90"; default_lease = 3600; max_lease = 86400; }; fallback_dns_servers = [ "1.1.1.1" "8.8.8.8" ]; local_domain = "home"; extern_domain = "nudelerde.de"; }