X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/7db53a0b3693ddd01e6a36fc5bfb4ba56b4656eb..55d4a2686f9334ccd03602c86e43395acef9537d:/configDefault/domtool.cfg

diff --git a/configDefault/domtool.cfg b/configDefault/domtool.cfg
index 7024510..0e64097 100644
--- a/configDefault/domtool.cfg
+++ b/configDefault/domtool.cfg
@@ -7,6 +7,9 @@ val cp = "/bin/cp"
 val diff = "/usr/bin/diff"
 val rm = "/bin/rm"
 val echo = "/bin/echo"
+val grep = "/bin/grep"
+val sudo = "/usr/bin/sudo"
+val domtool_publish = "/usr/local/sbin/domtool-publish"
 
 val defaultNs = "ns.hcoop.net"
 
@@ -21,6 +24,12 @@ val defaultNode = "deleuze"
 val masterNode = "deleuze"
 val slaveNodes = ["mire"]
 
+val dnsNodes_all = ["deleuze", "mire"]
+val dnsNodes_admin = []
+
+val mailNodes_all = ["deleuze"]
+val mailNodes_admin = ["mire"]
+
 val aclFile = "/afs/hcoop.net/common/etc/domtool/acl"
 
 val testUser = "test"
@@ -44,4 +53,8 @@ val serialDir = "/afs/hcoop.net/common/etc/domtool/serials"
 
 val dispatcherName = "deleuze.hcoop.net"
 
-val homeBase = "/afs/hcoop.net/usr"
+fun domtoolDir user =
+    case user of
+	"domtool" => "/afs/hcoop.net/common/etc/domtool/domtool"
+      | _ => OS.Path.joinDirFile {dir = Posix.SysDB.Passwd.home (Posix.SysDB.getpwnam user),
+				  file = "domtool"}