with import ; { config, lib, pkgs, ... }: { imports = [ ]; krebs.build.host = config.krebs.hosts.green; #networking.nameservers = [ "1.1.1.1" ]; #time.timeZone = "Europe/Berlin"; }