nixConfig/nixos/machines/bragi/network.nix

# We sohuld put that config somewhere in roles and give it a parameter or something,
# everyone gets the same nameserver and the same prefixLength and address vs defaultGateway alsways
# depend on the same thing
{
  networking = {
    interfaces.enp0s25.ipv4.addresses = [
      {
        address = "192.168.1.11";
        prefixLength = 24;
      }
    ];
    defaultGateway = "192.168.1.137";
    # https://www.hrz.tu-darmstadt.de/services/it_services/nameserver_dns/index.de.jsp
    nameservers = ["130.83.22.63" "130.83.22.60" "130.83.56.60"];
  };
}