1 {{The most common kinds of domain configuration}}
3 val default_node : (node) = "mire";
4 val web_node : (web_node) = "mire";
10 (dns (dnsA host (ip_of_node (web_node_to_node n)));
18 val web = webAt web_node;
20 val addDefaultAlias = begin
33 val domNoWwwNoDefaultAlias =
34 \ d : (your_domain) ->
37 dns (dnsNS "ns1.hcoop.net");
38 dns (dnsNS "ns3.hcoop.net");
40 dns (dnsDefaultA (ip_of_node (web_node_to_node web_node)));
43 dns (dnsMX 1 "deleuze.hcoop.net");
48 val domNoDefaultAlias =
49 \ d : (your_domain) ->
51 domNoWwwNoDefaultAlias d with
57 \ d : (your_domain) ->
59 domNoWwwNoDefaultAlias d with
65 \ d : (your_domain) ->
67 domNoDefaultAlias d with
72 val nameserver = \host -> dns (dnsNS host);
73 val dnsIP = \from -> \to -> dns (dnsA from to);
74 val dnsMail = \num -> \host -> dns (dnsMX num host);
75 val dnsAlias = \from -> \to -> dns (dnsCNAME from to);
76 val dnsDefault = \to -> dns (dnsDefaultA to);