X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/e0b0abd209a1ecbd9266cfcf8735af171f96869b..edd380241e9ba2b750eb9a1f82ffd6feeab6252f:/lib/domain.dtl diff --git a/lib/domain.dtl b/lib/domain.dtl index 0f2b1fa..34b6859 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,24 @@ 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 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}} @@ -41,5 +62,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.}}