{ config, pkgs, ... }: { networking.hostName = "chaosknoten-nixos-template"; networking.interfaces.enp6s18 = { ipv4.addresses = [ { address = "172.31.17.200"; prefixLength = 25; } ]; }; networking.defaultGateway = "172.31.17.129"; networking.nameservers = [ "212.12.50.158" "192.76.134.90" ]; networking.search = [ "hamburg.ccc.de" ]; }