Add default DNS mappings
[hcoop/domtool2.git] / lib / easy_domain.dtl
CommitLineData
6bb366c5
AC
1{{The most common kinds of domain configuration}}
2
6eeb3bf9 3val default_node : (node) = "mire";
60695e99 4val web_node : (web_node) = "mire";
15e529d6
AC
5
6val webAt =
60695e99 7 \ n : (web_node) ->
15e529d6
AC
8 \ host : (host) ->
9 \\ config : Vhost ->
60695e99 10 (dns (dnsA host (ip_of_node (web_node_to_node n)));
15e529d6
AC
11
12 vhost host where
13 WebNodes = [n]
14 with
15 config
16 end);
17
18val web = webAt web_node;
6bb366c5
AC
19
20val dom =
21 \ d : (your_domain) ->
22 \\ config : Domain ->
23 domain d with
728f7033
AC
24 dns (dnsNS "deleuze.hcoop.net");
25 dns (dnsNS "mire.hcoop.net");
6bb366c5 26
6eeb3bf9
AC
27 dns (dnsDefaultA (ip_of_node default_node));
28
6bb366c5
AC
29 handleMail;
30 mailbox <- Mailbox;
31 catchAllAlias mailbox;
32
15e529d6 33 web "www" with
6bb366c5
AC
34 end;
35
36 config
37 end;
8c142ff5
AC
38
39val nameserver = \host -> dns (dnsNS host);
40val dnsIP = \from -> \to -> dns (dnsA from to);
41val dnsMail = \num -> \host -> dns (dnsMX num host);
42val dnsAlias = \from -> \to -> dns (dnsCNAME from to);