lib/easy_domain.dtl

   1 {{The most common kinds of domain configuration}}
   2
   3 val default_node : (node) = "mire";
   4 val web_node : (web_node) = "mire";
   5
   6 val webAt =
   7         \ n : (web_node) ->
   8         \ host : (host) ->
   9         \\ config : Vhost ->
  10                 (dns (dnsA host (ip_of_node (web_node_to_node n)));
  11
  12                 vhost host where
  13                         WebNodes = [n]
  14                 with
  15                         config
  16                 end);
  17
  18 val web = webAt web_node;
  19
  20 val dom =
  21         \ d : (your_domain) ->
  22         \\ config : Domain ->
  23                 domain d with
  24                         dns (dnsNS "ns1.hcoop.net");
  25                         dns (dnsNS "ns3.hcoop.net");
  26
  27                         dns (dnsDefaultA (ip_of_node (web_node_to_node web_node)));
  28
  29                         handleMail;
  30                         dns (dnsMX 1 "deleuze.hcoop.net");
  31                         mailbox <- Mailbox;
  32                         defaultAlias mailbox;
  33
  34                         web "www" with
  35                                 serverAliasDefault;
  36                                 www : [Vhost] <- WWW;
  37                                 www
  38                         end;
  39
  40                         config
  41                 end;
  42
  43 val nameserver = \host -> dns (dnsNS host);
  44 val dnsIP = \from -> \to -> dns (dnsA from to);
  45 val dnsMail = \num -> \host -> dns (dnsMX num host);
  46 val dnsAlias = \from -> \to -> dns (dnsCNAME from to);
  47 val dnsDefault = \to -> dns (dnsDefaultA to);