.PHONY: grab_lib
grab_lib:
- rsync --delete /afs/hcoop.net/common/etc/domtool/lib/* lib/
+ rsync -r --delete /afs/hcoop.net/common/etc/domtool/lib/* lib/
val sudo = "/usr/bin/sudo"
val domtool_publish = "/usr/local/sbin/domtool-publish"
-val defaultNs = "ns.hcoop.net"
+val defaultNs = "deleuze.hcoop.net"
val defaultRefresh = 172800
val defaultRetry = 900
{{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;
+val defaultSoa = soa "deleuze.hcoop.net" serialAuto 172800 900 1209600 3600;
extern type dns_node;
{{A node offering DNS services}}
\ d : (your_domain) ->
\\ config : Domain ->
domain d with
- dns (dnsNS "ns.hcoop.net");
- dns (dnsNS "ns2.hcoop.net");
+ dns (dnsNS "deleuze.hcoop.net");
+ dns (dnsNS "mire.hcoop.net");
handleMail;
mailbox <- Mailbox;