From 728f70338362f7c59b62dd3e0b66d6583808d877 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 13 May 2007 23:40:41 +0000 Subject: [PATCH] Change default nameservers --- Makefile | 2 +- configDefault/domtool.cfg | 2 +- lib/domain.dtl | 2 +- lib/easy_domain.dtl | 4 ++-- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/Makefile b/Makefile index f811ff9..43719ea 100644 --- a/Makefile +++ b/Makefile @@ -166,4 +166,4 @@ install: .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 --- 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 defaultNs = "ns.hcoop.net" +val defaultNs = "deleuze.hcoop.net" val defaultRefresh = 172800 val defaultRetry = 900 diff --git a/lib/domain.dtl b/lib/domain.dtl index e52b3eb..f7e8a74 100644 --- 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; -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}} diff --git a/lib/easy_domain.dtl b/lib/easy_domain.dtl index 92a635f..6025008 100644 --- a/lib/easy_domain.dtl +++ b/lib/easy_domain.dtl @@ -20,8 +20,8 @@ val dom = \ 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; -- 2.20.1