X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/095de39e1be653dcb6438d19c719bd7797e0772a..6ae327f88a6be8efd02cfe4b713444f9f3ac2672:/lib/domain.dtl diff --git a/lib/domain.dtl b/lib/domain.dtl index 8bf46fd..8edfa72 100644 --- a/lib/domain.dtl +++ b/lib/domain.dtl @@ -1,10 +1,33 @@ {{Configuring shared daemons with respect to a particular Internet domain name}} +extern type ip; +{{An IP address}} + +extern type host; +{{A hostname; that is, (more or less) an alphanumeric string}} + extern type domain; {{An Internet domain name}} context Domain; {{Configuration directives specific to an Internet domain}} -extern val domain : domain -> Domain => [Root]; +extern type serial; +{{Domain zone serial numbers}} +extern val serialAuto : serial; +{{Whenever DNS data changes, choose a sensible serial number automatically.} +extern val serialConst : int -> serial; +{{Use this particular serial number.}} + +extern type soa; +{{DNS start-of-authority record}} +extern val soa : domain -> serial -> int -> int -> int -> int -> soa; + +extern type dnsKind; +{{How should DNS for this domain be handled?}} +extern val master : soa -> dnsKind; +extern val slave : soa -> dnsKind; +extern val noDns : dnsKind; + +extern val domain : domain -> Domain => [Root] {DNS : dnsKind, TTL : int}; {{Configure a domain to which you have access rights.}}