Change default nameservers

diff --git a/Makefile b/Makefile
index f811ff9..43719ea 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -166,4 +166,4 @@ install:
 .PHONY: grab_lib
 
 grab_lib:
 .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/

diff --git a/configDefault/domtool.cfg b/configDefault/domtool.cfg
index 0e64097..f668791 100644 (file)
--- a/configDefault/domtool.cfg
+++ b/configDefault/domtool.cfg
@@ -11,7 +11,7 @@ val grep = "/bin/grep"
 val sudo = "/usr/bin/sudo"
 val domtool_publish = "/usr/local/sbin/domtool-publish"
 
 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
 
 val defaultRefresh = 172800
 val defaultRetry = 900

diff --git a/lib/domain.dtl b/lib/domain.dtl
index e52b3eb..f7e8a74 100644 (file)
--- a/lib/domain.dtl
+++ b/lib/domain.dtl
@@ -54,7 +54,7 @@ extern type soa;
 {{DNS start-of-authority record}}
 extern val soa : domain -> serial -> int -> int -> int -> int -> 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;
+val defaultSoa = soa "deleuze.hcoop.net" serialAuto 172800 900 1209600 3600;

 
 extern type dns_node;
 {{A node offering DNS services}}
 
 extern type dns_node;
 {{A node offering DNS services}}

diff --git a/lib/easy_domain.dtl b/lib/easy_domain.dtl
index 92a635f..6025008 100644 (file)
--- a/lib/easy_domain.dtl
+++ b/lib/easy_domain.dtl
@@ -20,8 +20,8 @@ val dom =
        \ d : (your_domain) ->
        \\ config : Domain ->
                domain d with
        \ 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;
 
                        handleMail;
                        mailbox <- Mailbox;