Better DNS slave handling
[hcoop/domtool2.git] / lib / domain.dtl
CommitLineData
095de39e
AC
1{{Configuring shared daemons with respect to a particular Internet domain name}}
2
6ae327f8
AC
3extern type ip;
4{{An IP address}}
5
6extern type host;
7{{A hostname; that is, (more or less) an alphanumeric string}}
8
095de39e
AC
9extern type domain;
10{{An Internet domain name}}
11
e0b0abd2
AC
12extern type node;
13{{The name of a server controlled by domtool}}
14
095de39e
AC
15context Domain;
16{{Configuration directives specific to an Internet domain}}
17
6ae327f8
AC
18extern type serial;
19{{Domain zone serial numbers}}
20extern val serialAuto : serial;
21{{Whenever DNS data changes, choose a sensible serial number automatically.}
22extern val serialConst : int -> serial;
23{{Use this particular serial number.}}
24
25extern type soa;
26{{DNS start-of-authority record}}
27extern val soa : domain -> serial -> int -> int -> int -> int -> soa;
28
e0b0abd2
AC
29extern type master;
30{{Information on the master DNS server for a domain}}
31extern val externalMaster : ip -> master;
32{{A server not controlled by domtool will serve as master.}}
33extern val internalMaster : node -> master;
34{{A server controlled by domtool will serve as master.}}
35
6ae327f8
AC
36extern type dnsKind;
37{{How should DNS for this domain be handled?}}
e0b0abd2
AC
38extern val useDns : soa -> master -> [node] -> dnsKind;
39{{We do want DNS services for this domain. Specify the SOA record, information
40 on the server in charge of zone data, and a list of slave servers.}}
6ae327f8 41extern val noDns : dnsKind;
e0b0abd2 42{{No DNS services for this domain.}}
6ae327f8
AC
43
44extern val domain : domain -> Domain => [Root] {DNS : dnsKind, TTL : int};
095de39e 45{{Configure a domain to which you have access rights.}}