[perso/Immae/Config/Nix.git] / modules / private / dns.nix

{ lib, pkgs, config, ... }:
{
  options.myServices.dns.enable = lib.mkEnableOption "enable DNS resolver";
  config = let
    # taken from unstable
    cartesianProductOfSets = attrsOfLists: with lib;
      lib.foldl' (listOfAttrs: attrName:
        concatMap (attrs:
          map (listValue: attrs // { ${attrName} = listValue; }) attrsOfLists.${attrName}
        ) listOfAttrs
      ) [{}] (attrNames attrsOfLists);
    cfg = config.services.bind;
    keyIncludes = builtins.concatStringsSep "\n" (map (v: "include \"${config.secrets.fullPaths."bind/${v}.key"}\";") (builtins.attrNames config.myEnv.dns.keys));
    cartProduct = lib.foldr
      (s: servers: servers // { ${s.masters} = lib.unique ((servers.${s.masters} or []) ++ [s.keys]); })
      {}
      (lib.unique (lib.concatMap (z: cartesianProductOfSets { masters = z.masters or []; keys = z.keys or []; }) config.myEnv.dns.slaveZones));
    toKeyList = servers: keys: builtins.concatStringsSep "\n" (map (s: ''
      server ${s} {
        keys { ${builtins.concatStringsSep ";" keys}; };
      };
    '') servers);
    serverIncludes = builtins.concatStringsSep "\n" (lib.mapAttrsToList (n: toKeyList (lib.flatten (builtins.attrValues config.myEnv.dns.ns."${n}"))) cartProduct);
    configFile = pkgs.writeText "named.conf" ''
      include "/etc/bind/rndc.key";
      controls {
        inet 127.0.0.1 allow {localhost;} keys {"rndc-key";};
      };

      acl cachenetworks { ${lib.concatMapStrings (entry: " ${entry}; ") cfg.cacheNetworks} };
      acl badnetworks { ${lib.concatMapStrings (entry: " ${entry}; ") cfg.blockedNetworks} };

      options {
        listen-on { ${lib.concatMapStrings (entry: " ${entry}; ") cfg.listenOn} };
        listen-on-v6 { ${lib.concatMapStrings (entry: " ${entry}; ") cfg.listenOnIpv6} };
        allow-query { cachenetworks; };
        blackhole { badnetworks; };
        forward first;
        forwarders { ${lib.concatMapStrings (entry: " ${entry}; ") cfg.forwarders} };
        directory "/var/run/named";
        pid-file "/var/run/named/named.pid";
        ${cfg.extraOptions}
      };

      ${keyIncludes}
      ${serverIncludes}

      ${cfg.extraConfig}

      ${ lib.concatMapStrings
          ({ name, file, master ? true, extra ? "", slaves ? [], masters ? [] }:
            ''
              zone "${name}" {
                type ${if master then "master" else "slave"};
                file "${file}";
                ${ if lib.lists.length slaves > 0 then
                  ''
                    allow-transfer {
                      ${lib.concatMapStrings (ip: "${ip};\n") slaves}
                    };
                  '' else ""}
                ${ if lib.lists.length masters > 0 then
                  ''
                    masters {
                      ${lib.concatMapStrings (ip: "${ip};\n") masters}
                    };
                  '' else ""}
                allow-query { any; };
                ${extra}
              };
            '')
          cfg.zones }
    '';
    mxes = lib.attrsets.filterAttrs
      (n: v: v.mx.enable)
      config.myEnv.servers;
    ip4mxes = builtins.concatStringsSep "\n" (lib.mapAttrsToList
      (n: v: "${v.mx.subdomain} IN A     ${v.ips.main.ip4}")
      mxes);
    ip6mxes = builtins.concatStringsSep "\n" (lib.mapAttrsToList
      (n: v: builtins.concatStringsSep "\n" (map (i: "${v.mx.subdomain} IN AAAA  ${i}") v.ips.main.ip6))
      mxes);
    mxmxes = n: conf: builtins.concatStringsSep "\n" (lib.mapAttrsToList
      (_: v: "${n} IN MX ${v.mx.priority} ${v.mx.subdomain}.${conf.name}.")
      mxes);
  in lib.mkIf config.myServices.dns.enable {
    networking.firewall.allowedUDPPorts = [ 53 ];
    networking.firewall.allowedTCPPorts = [ 53 ];
    users.users.named.extraGroups = [ "keys" ];
    secrets.keys = lib.mapAttrs' (k: v:
      lib.nameValuePair "bind/${k}.key" {
        permissions = "0400";
        user = "named";
        text = ''
          key "${k}"
            {
              algorithm ${v.algorithm};
              secret "${v.secret}";
            };
        '';
      }
    ) config.myEnv.dns.keys;
    services.bind = {
      enable = true;
      cacheNetworks = ["any"];
      configFile = configFile;
      extraOptions = ''
        allow-recursion { 127.0.0.1; };
        allow-transfer  { none; };

        notify-source    ${config.myEnv.servers.eldiron.ips.main.ip4};
        notify-source-v6 ${lib.head config.myEnv.servers.eldiron.ips.main.ip6};
        version   none;
        hostname  none;
        server-id none;
        '';
      zones = with config.myEnv.dns;
        assert (builtins.substring ((builtins.stringLength soa.email)-1) 1 soa.email) != ".";
        assert (builtins.substring ((builtins.stringLength soa.primary)-1) 1 soa.primary) != ".";
        (map (conf: {
          name = conf.name;
          master = false;
          file = "/var/run/named/${conf.name}.zone";
          masters = if lib.attrsets.hasAttr "masters" conf
            then lib.lists.flatten (map (n: lib.attrsets.attrValues ns.${n}) conf.masters)
            else [];
        }) slaveZones)
        ++ (map (conf: {
          name = conf.name;
          master = true;
          extra = if lib.attrsets.hasAttr "extra" conf then conf.extra else "";
          slaves = if lib.attrsets.hasAttr "slaves" conf
            then lib.lists.flatten (map (n: lib.attrsets.attrValues ns.${n}) conf.slaves)
            else [];
          file = pkgs.writeText "${conf.name}.zone" ''
              $TTL 10800
              @ IN SOA ${soa.primary}. ${builtins.replaceStrings ["@"] ["."] soa.email}. ${soa.serial} ${soa.refresh} ${soa.retry} ${soa.expire} ${soa.ttl}

              ${lib.concatStringsSep "\n" (map (x: "@ IN NS ${x}.") (lib.concatMap (n: lib.attrsets.mapAttrsToList (k: v: k) ns.${n}) conf.ns))}
              ${lib.optionalString (conf.withCAA != null) ''
                ${conf.name}. IN CAA 0 issue "${conf.withCAA}"
              ''}

              ${conf.entries}

              ${if lib.attrsets.hasAttr "withEmail" conf && lib.lists.length conf.withEmail > 0 then ''
              ${ip4mxes}
              ${ip6mxes}
              ${lib.concatStringsSep "\n\n" (map (e:
              let
                n = if e.domain == "" then "@" else "${e.domain}  ";
                suffix = if e.domain == "" then "" else ".${e.domain}";
              in
              ''
              ; ------------------ mail: ${n} ---------------------------
              ${mxmxes n conf}

              ; https://tools.ietf.org/html/rfc6186
              _submission._tcp${suffix}  SRV  0 1  587 smtp.immae.eu.
              _submissions._tcp${suffix} SRV  0 1  465 smtp.immae.eu.
              _imap._tcp${suffix}        SRV  0 1  143 imap.immae.eu.
              _imaps._tcp${suffix}       SRV  0 1  993 imap.immae.eu.
              _pop3._tcp${suffix}        SRV 10 1  110 pop3.immae.eu.
              _pop3s._tcp${suffix}       SRV 10 1  995 pop3.immae.eu.
              _sieve._tcp${suffix}       SRV  0 1 4190 imap.immae.eu.

              ; MTA-STS
              ; https://blog.delouw.ch/2018/12/16/using-mta-sts-to-enhance-email-transport-security-and-privacy/
              ; https://support.google.com/a/answer/9261504
              _mta-sts${suffix}   IN TXT  "v=STSv1;id=20200109150200Z"
              _smtp._tls${suffix} IN TXT  "v=TLSRPTv1;rua=mailto:postmaster+mta-sts@immae.eu"
              mta-sts${suffix}    IN A    ${config.myEnv.servers.eldiron.ips.main.ip4}
              ${builtins.concatStringsSep "\n" (map (i: "mta-sts${suffix}    IN AAAA ${i}") config.myEnv.servers.eldiron.ips.main.ip6)}

              ; Mail sender authentications
              ${n}                   IN TXT  "v=spf1 mx ~all"
              _dmarc${suffix}              IN TXT  "v=DMARC1; p=none; adkim=r; aspf=r; fo=1; rua=mailto:postmaster+rua@immae.eu; ruf=mailto:postmaster+ruf@immae.eu;"
              ${if e.send then ''
              immae_eu._domainkey${suffix} IN TXT  ( "v=DKIM1; k=rsa; s=email; "
                        "p=MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzl3vLd8W5YAuumC5+ZT9OV7/14Pmh5JYtwyqKI3cfe9NnAqInt3xO4bZ7oqIxRKWN4SD39vm7O/QOvFdBt00ENOOzdP90s5gKw6eIP/4+vPTh0IWltAsmu9B2agzdtWUE7t2xFKIzEn8l9niRE2QYbVaqZv4sub98vY55fIgFoHtjkmNC7325S8fjDJGp6OPbyhAs6Xl5/adjF"
                        "0ko4Y2p6RaxLQfjlS0bxmK4Qg6C14pIXHtzVeqOuWrwApqt5+AULSn97iUtqV/IJlEEjC6DUR44t3C/G0G/k46iFclCqRRi0hdPrOHCtZDbtMubnTN9eaUiNpkXh1WnCflHwtjQwIDAQAB" )
              eldiron._domainkey${suffix}  IN TXT  ${config.myEnv.mail.dkim.eldiron.public}
              '' else ""}
              '') conf.withEmail)}
              '' + (if conf.name == "immae.eu" then ''
              ; ----------------- Accept DMARC reports -------------------
              ${lib.concatStringsSep "\n" (
                lib.flatten (
                  map (z: map (e: "${e.domain}${if builtins.stringLength e.domain > 0 then "." else ""}${z.name}._report._dmarc IN TXT \"v=DMARC1;\"") (z.withEmail or [])) masterZones
                )
              )}
              '' else "") else ""}
            '';
          }) masterZones);
    };
  };
}
Commit	Line	Data
ab8f306d	1	{ lib, pkgs, config, ... }:
bb5e0900	2	{
8415083e	3	options.myServices.dns.enable = lib.mkEnableOption "enable DNS resolver";
bb5e0900	4	config = let
11c2119f IB	5	# taken from unstable
	6	cartesianProductOfSets = attrsOfLists: with lib;
	7	lib.foldl' (listOfAttrs: attrName:
	8	concatMap (attrs:
	9	map (listValue: attrs // { ${attrName} = listValue; }) attrsOfLists.${attrName}
	10	) listOfAttrs
	11	) [{}] (attrNames attrsOfLists);
bb5e0900	12	cfg = config.services.bind;
da30ae4f	13	keyIncludes = builtins.concatStringsSep "\n" (map (v: "include \"${config.secrets.fullPaths."bind/${v}.key"}\";") (builtins.attrNames config.myEnv.dns.keys));
11c2119f IB	14	cartProduct = lib.foldr
	15	(s: servers: servers // { ${s.masters} = lib.unique ((servers.${s.masters} or []) ++ [s.keys]); })
	16	{}
	17	(lib.unique (lib.concatMap (z: cartesianProductOfSets { masters = z.masters or []; keys = z.keys or []; }) config.myEnv.dns.slaveZones));
8175055f IB	18	toKeyList = servers: keys: builtins.concatStringsSep "\n" (map (s: ''
	19	server ${s} {
	20	keys { ${builtins.concatStringsSep ";" keys}; };
	21	};
	22	'') servers);
11c2119f	23	serverIncludes = builtins.concatStringsSep "\n" (lib.mapAttrsToList (n: toKeyList (lib.flatten (builtins.attrValues config.myEnv.dns.ns."${n}"))) cartProduct);
bb5e0900 IB	24	configFile = pkgs.writeText "named.conf" ''
	25	include "/etc/bind/rndc.key";
	26	controls {
	27	inet 127.0.0.1 allow {localhost;} keys {"rndc-key";};
	28	};
	29
	30	acl cachenetworks { ${lib.concatMapStrings (entry: " ${entry}; ") cfg.cacheNetworks} };
	31	acl badnetworks { ${lib.concatMapStrings (entry: " ${entry}; ") cfg.blockedNetworks} };
	32
	33	options {
	34	listen-on { ${lib.concatMapStrings (entry: " ${entry}; ") cfg.listenOn} };
	35	listen-on-v6 { ${lib.concatMapStrings (entry: " ${entry}; ") cfg.listenOnIpv6} };
	36	allow-query { cachenetworks; };
	37	blackhole { badnetworks; };
	38	forward first;
	39	forwarders { ${lib.concatMapStrings (entry: " ${entry}; ") cfg.forwarders} };
	40	directory "/var/run/named";
	41	pid-file "/var/run/named/named.pid";
	42	${cfg.extraOptions}
	43	};
	44
8175055f IB	45	${keyIncludes}
	46	${serverIncludes}
	47
bb5e0900 IB	48	${cfg.extraConfig}
	49
	50	${ lib.concatMapStrings
	51	({ name, file, master ? true, extra ? "", slaves ? [], masters ? [] }:
	52	''
	53	zone "${name}" {
	54	type ${if master then "master" else "slave"};
	55	file "${file}";
	56	${ if lib.lists.length slaves > 0 then
	57	''
	58	allow-transfer {
	59	${lib.concatMapStrings (ip: "${ip};\n") slaves}
	60	};
	61	'' else ""}
	62	${ if lib.lists.length masters > 0 then
	63	''
	64	masters {
	65	${lib.concatMapStrings (ip: "${ip};\n") masters}
	66	};
	67	'' else ""}
	68	allow-query { any; };
	69	${extra}
	70	};
	71	'')
	72	cfg.zones }
	73	'';
619e4f46 IB	74	mxes = lib.attrsets.filterAttrs
	75	(n: v: v.mx.enable)
	76	config.myEnv.servers;
	77	ip4mxes = builtins.concatStringsSep "\n" (lib.mapAttrsToList
	78	(n: v: "${v.mx.subdomain} IN A ${v.ips.main.ip4}")
	79	mxes);
	80	ip6mxes = builtins.concatStringsSep "\n" (lib.mapAttrsToList
	81	(n: v: builtins.concatStringsSep "\n" (map (i: "${v.mx.subdomain} IN AAAA ${i}") v.ips.main.ip6))
	82	mxes);
	83	mxmxes = n: conf: builtins.concatStringsSep "\n" (lib.mapAttrsToList
	84	(_: v: "${n} IN MX ${v.mx.priority} ${v.mx.subdomain}.${conf.name}.")
	85	mxes);
8415083e	86	in lib.mkIf config.myServices.dns.enable {
bb5e0900 IB	87	networking.firewall.allowedUDPPorts = [ 53 ];
bb5e0900 IB	88	networking.firewall.allowedTCPPorts = [ 53 ];
8175055f	89	users.users.named.extraGroups = [ "keys" ];
4c4652aa IB	90	secrets.keys = lib.mapAttrs' (k: v:
4c4652aa IB	91	lib.nameValuePair "bind/${k}.key" {
8175055f IB	92	permissions = "0400";
	93	user = "named";
	94	text = ''
	95	key "${k}"
	96	{
	97	algorithm ${v.algorithm};
	98	secret "${v.secret}";
	99	};
	100	'';
	101	}
	102	) config.myEnv.dns.keys;
bb5e0900 IB	103	services.bind = {
	104	enable = true;
	105	cacheNetworks = ["any"];
	106	configFile = configFile;
	107	extraOptions = ''
	108	allow-recursion { 127.0.0.1; };
	109	allow-transfer { none; };
	110
ab8f306d IB	111	notify-source ${config.myEnv.servers.eldiron.ips.main.ip4};
ab8f306d IB	112	notify-source-v6 ${lib.head config.myEnv.servers.eldiron.ips.main.ip6};
bb5e0900 IB	113	version none;
	114	hostname none;
	115	server-id none;
	116	'';
ab8f306d	117	zones = with config.myEnv.dns;
0f466f6d IB	118	assert (builtins.substring ((builtins.stringLength soa.email)-1) 1 soa.email) != ".";
0f466f6d IB	119	assert (builtins.substring ((builtins.stringLength soa.primary)-1) 1 soa.primary) != ".";
bb5e0900 IB	120	(map (conf: {
	121	name = conf.name;
	122	master = false;
	123	file = "/var/run/named/${conf.name}.zone";
	124	masters = if lib.attrsets.hasAttr "masters" conf
	125	then lib.lists.flatten (map (n: lib.attrsets.attrValues ns.${n}) conf.masters)
	126	else [];
	127	}) slaveZones)
	128	++ (map (conf: {
	129	name = conf.name;
	130	master = true;
	131	extra = if lib.attrsets.hasAttr "extra" conf then conf.extra else "";
	132	slaves = if lib.attrsets.hasAttr "slaves" conf
	133	then lib.lists.flatten (map (n: lib.attrsets.attrValues ns.${n}) conf.slaves)
	134	else [];
	135	file = pkgs.writeText "${conf.name}.zone" ''
	136	$TTL 10800
0f466f6d	137	@ IN SOA ${soa.primary}. ${builtins.replaceStrings ["@"] ["."] soa.email}. ${soa.serial} ${soa.refresh} ${soa.retry} ${soa.expire} ${soa.ttl}
bb5e0900 IB	138
bb5e0900 IB	139	${lib.concatStringsSep "\n" (map (x: "@ IN NS ${x}.") (lib.concatMap (n: lib.attrsets.mapAttrsToList (k: v: k) ns.${n}) conf.ns))}
68ff82c6 IB	140	${lib.optionalString (conf.withCAA != null) ''
	141	${conf.name}. IN CAA 0 issue "${conf.withCAA}"
	142	''}
bb5e0900 IB	143
	144	${conf.entries}
	145
	146	${if lib.attrsets.hasAttr "withEmail" conf && lib.lists.length conf.withEmail > 0 then ''
619e4f46 IB	147	${ip4mxes}
619e4f46 IB	148	${ip6mxes}
bb5e0900 IB	149	${lib.concatStringsSep "\n\n" (map (e:
	150	let
	151	n = if e.domain == "" then "@" else "${e.domain} ";
	152	suffix = if e.domain == "" then "" else ".${e.domain}";
	153	in
	154	''
	155	; ------------------ mail: ${n} ---------------------------
619e4f46	156	${mxmxes n conf}
bb5e0900	157
05f8c21a	158	; https://tools.ietf.org/html/rfc6186
9699d2b1 IB	159	_submission._tcp${suffix} SRV 0 1 587 smtp.immae.eu.
	160	_submissions._tcp${suffix} SRV 0 1 465 smtp.immae.eu.
	161	_imap._tcp${suffix} SRV 0 1 143 imap.immae.eu.
	162	_imaps._tcp${suffix} SRV 0 1 993 imap.immae.eu.
	163	_pop3._tcp${suffix} SRV 10 1 110 pop3.immae.eu.
	164	_pop3s._tcp${suffix} SRV 10 1 995 pop3.immae.eu.
	165	_sieve._tcp${suffix} SRV 0 1 4190 imap.immae.eu.
05f8c21a	166
afcc5de0 IB	167	; MTA-STS
	168	; https://blog.delouw.ch/2018/12/16/using-mta-sts-to-enhance-email-transport-security-and-privacy/
	169	; https://support.google.com/a/answer/9261504
619e4f46	170	_mta-sts${suffix} IN TXT "v=STSv1;id=20200109150200Z"
afcc5de0	171	_smtp._tls${suffix} IN TXT "v=TLSRPTv1;rua=mailto:postmaster+mta-sts@immae.eu"
ab8f306d IB	172	mta-sts${suffix} IN A ${config.myEnv.servers.eldiron.ips.main.ip4}
ab8f306d IB	173	${builtins.concatStringsSep "\n" (map (i: "mta-sts${suffix} IN AAAA ${i}") config.myEnv.servers.eldiron.ips.main.ip6)}
afcc5de0	174
bb5e0900 IB	175	; Mail sender authentications
bb5e0900 IB	176	${n} IN TXT "v=spf1 mx ~all"
3b45d5f2	177	_dmarc${suffix} IN TXT "v=DMARC1; p=none; adkim=r; aspf=r; fo=1; rua=mailto:postmaster+rua@immae.eu; ruf=mailto:postmaster+ruf@immae.eu;"
bb5e0900 IB	178	${if e.send then ''
	179	immae_eu._domainkey${suffix} IN TXT ( "v=DKIM1; k=rsa; s=email; "
	180	"p=MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzl3vLd8W5YAuumC5+ZT9OV7/14Pmh5JYtwyqKI3cfe9NnAqInt3xO4bZ7oqIxRKWN4SD39vm7O/QOvFdBt00ENOOzdP90s5gKw6eIP/4+vPTh0IWltAsmu9B2agzdtWUE7t2xFKIzEn8l9niRE2QYbVaqZv4sub98vY55fIgFoHtjkmNC7325S8fjDJGp6OPbyhAs6Xl5/adjF"
	181	"0ko4Y2p6RaxLQfjlS0bxmK4Qg6C14pIXHtzVeqOuWrwApqt5+AULSn97iUtqV/IJlEEjC6DUR44t3C/G0G/k46iFclCqRRi0hdPrOHCtZDbtMubnTN9eaUiNpkXh1WnCflHwtjQwIDAQAB" )
ab8f306d	182	eldiron._domainkey${suffix} IN TXT ${config.myEnv.mail.dkim.eldiron.public}
bb5e0900 IB	183	'' else ""}
bb5e0900 IB	184	'') conf.withEmail)}
384ec543 IB	185	'' + (if conf.name == "immae.eu" then ''
	186	; ----------------- Accept DMARC reports -------------------
	187	${lib.concatStringsSep "\n" (
	188	lib.flatten (
	189	map (z: map (e: "${e.domain}${if builtins.stringLength e.domain > 0 then "." else ""}${z.name}._report._dmarc IN TXT \"v=DMARC1;\"") (z.withEmail or [])) masterZones
	190	)
	191	)}
	192	'' else "") else ""}
bb5e0900 IB	193	'';
	194	}) masterZones);
	195	};
	196	};
	197	}