Start of Apache
[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
12adf55a
AC
12extern type your_domain;
13{{A domain that you're allowed to configure}}
14
e0b0abd2
AC
15extern type node;
16{{The name of a server controlled by domtool}}
17
8a7c40fa
AC
18extern type your_user;
19extern type your_group;
12adf55a
AC
20{{UNIX users and groups that you're allowed to run as}}
21
8a7c40fa
AC
22extern type your_path;
23{{A filesystem path that you're allowed to use.
24 The set of permitted values is generated from a set of roots by closing it
25 under the subdirectory relation.}}
12adf55a 26
095de39e
AC
27context Domain;
28{{Configuration directives specific to an Internet domain}}
29
6ae327f8
AC
30extern type serial;
31{{Domain zone serial numbers}}
32extern val serialAuto : serial;
33{{Whenever DNS data changes, choose a sensible serial number automatically.}
34extern val serialConst : int -> serial;
35{{Use this particular serial number.}}
36
37extern type soa;
38{{DNS start-of-authority record}}
39extern val soa : domain -> serial -> int -> int -> int -> int -> soa;
40
e0b0abd2
AC
41extern type master;
42{{Information on the master DNS server for a domain}}
43extern val externalMaster : ip -> master;
44{{A server not controlled by domtool will serve as master.}}
45extern val internalMaster : node -> master;
46{{A server controlled by domtool will serve as master.}}
47
6ae327f8
AC
48extern type dnsKind;
49{{How should DNS for this domain be handled?}}
e0b0abd2
AC
50extern val useDns : soa -> master -> [node] -> dnsKind;
51{{We do want DNS services for this domain. Specify the SOA record, information
52 on the server in charge of zone data, and a list of slave servers.}}
6ae327f8 53extern val noDns : dnsKind;
e0b0abd2 54{{No DNS services for this domain.}}
6ae327f8 55
12adf55a 56extern val domain : your_domain -> Domain => [Root] {DNS : dnsKind, TTL : int};
095de39e 57{{Configure a domain to which you have access rights.}}