{ config, ... }: { networking.domain = "hpc.informatik.hs-fulda.de"; networking.search = [ config.networking.domain ]; networking.nameservers = [ "10.0.0.53" "10.1.1.10" ]; networking.useDHCP = false; networking.nftables.enable = true; networking.firewall.extraInputRules = "ip saddr 10.32.47.0/24 accept"; }