X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/f8dfbbcc29a40de94580697e610db6254b85f0fb..325285ab74fb24bf441fa8137556accc3a518905:/lib/domain.dtl diff --git a/lib/domain.dtl b/lib/domain.dtl index 62256ed..f2d3150 100644 --- a/lib/domain.dtl +++ b/lib/domain.dtl @@ -3,6 +3,9 @@ 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}} @@ -15,9 +18,16 @@ extern type domain; 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}} @@ -41,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;