lib/easy_domain.dtl

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