X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/1817ed97ab708df9ab28125e04852809e8350473..cfedb9220fc5a849df6d5d85cc929d1f72ac0326:/lib/easy_domain.dtl diff --git a/lib/easy_domain.dtl b/lib/easy_domain.dtl index 6bc84eb..2f8c0ab 100644 --- a/lib/easy_domain.dtl +++ b/lib/easy_domain.dtl @@ -7,7 +7,7 @@ val webAt = \ n : (web_node) -> \ host : (host) -> \\ config : Vhost -> begin - dns (dnsA host (ip_of_node (web_node_to_node n))); + dns (dnsA (literal host) (ip_of_node (web_node_to_node n))); vhost host where WebPlaces = [web_place_default n] @@ -22,7 +22,7 @@ val webAtIp = \ ip : (your_ip) -> \ host : (host) -> \\ config : Vhost -> begin - dns (dnsA host (your_ip_to_ip ip)); + dns (dnsA (literal host) (your_ip_to_ip ip)); vhost host where WebPlaces = [web_place web_node ip] @@ -51,7 +51,7 @@ val dom = dns (dnsNS "ns1.hcoop.net"); dns (dnsNS "ns3.hcoop.net"); - dns (dnsDefaultA (ip_of_node (web_node_to_node web_node))); + dns (dnsA default (ip_of_node (web_node_to_node web_node))); handleMail; dns (dnsMX 1 "deleuze.hcoop.net"); @@ -74,11 +74,11 @@ val dom = end; val nameserver = \host -> dns (dnsNS host); -val dnsIP = \from -> \to -> dns (dnsA from to); -val dnsIPv6 = \from -> \to -> dns (dnsAAAA from to); +val dnsIP = \from -> \to -> dns (dnsA (literal from) to); +val dnsIPv6 = \from -> \to -> dns (dnsAAAA (literal from) to); val dnsMail = \num -> \host -> dns (dnsMX num host); -val dnsAlias = \from -> \to -> dns (dnsCNAME from to); -val dnsDefault = \to -> dns (dnsDefaultA to); -val dnsDefaultv6 = \to -> dns (dnsDefaultAAAA to); -val dnsText = \from -> \to -> dns (dnsTXT from to); -val dnsDefaultText = \to -> dns (dnsDefaultTXT to); +val dnsAlias = \from -> \to -> dns (dnsCNAME (literal from) to); +val dnsDefault = \to -> dns (dnsA default to); +val dnsDefaultv6 = \to -> dns (dnsAAAA default to); +val dnsText = \from -> \to -> dns (dnsTXT (literal from) to); +val dnsDefaultText = \to -> dns (dnsTXT default to);