X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/e0b0abd209a1ecbd9266cfcf8735af171f96869b..325285ab74fb24bf441fa8137556accc3a518905:/lib/domain.dtl?ds=sidebyside diff --git a/lib/domain.dtl b/lib/domain.dtl index 0f2b1fa..f2d3150 100644 --- a/lib/domain.dtl +++ b/lib/domain.dtl @@ -1,5 +1,11 @@ {{Configuring shared daemons with respect to a particular Internet domain name}} +extern type no_spaces; +{{Any string with no space characters}} + +extern type no_newlines; +{{Any string with no newline characters}} + extern type ip; {{An IP address}} @@ -9,9 +15,28 @@ extern type host; extern type domain; {{An Internet domain name}} +extern type your_domain; +{{A domain that you're allowed to configure}} + +extern type your_domain_host; +{{Some host (as a fully-qualified domain name) in one of your domains}} + extern type node; {{The name of a server controlled by domtool}} +extern type user; +extern type group; +{{UNIX users and groups}} + +extern type your_user; +extern type your_group; +{{UNIX users and groups that you're allowed to run as}} + +extern type your_path; +{{A filesystem path that you're allowed to use. + The set of permitted values is generated from a set of roots by closing it + under the subdirectory relation.}} + context Domain; {{Configuration directives specific to an Internet domain}} @@ -26,6 +51,8 @@ extern type soa; {{DNS start-of-authority record}} extern val soa : domain -> serial -> int -> int -> int -> int -> soa; +val defaultSoa = soa "ns.hcoop.net" serialAuto 172800 900 1209600 3600; + extern type master; {{Information on the master DNS server for a domain}} extern val externalMaster : ip -> master; @@ -41,5 +68,5 @@ extern val useDns : soa -> master -> [node] -> dnsKind; extern val noDns : dnsKind; {{No DNS services for this domain.}} -extern val domain : domain -> Domain => [Root] {DNS : dnsKind, TTL : int}; +extern val domain : your_domain -> Domain => [Root] {DNS : dnsKind, TTL : int}; {{Configure a domain to which you have access rights.}}