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"
+val defaultNs = "ns1.hcoop.net"
val defaultRefresh = 172800
val defaultRetry = 900
val keyDir = "/afs/hcoop.net/common/etc/domtool/keys"
val serialDir = "/afs/hcoop.net/common/etc/domtool/serials"
-val dispatcherName = "deleuze.hcoop.net"
+val dispatcherName = "deleuze"
-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"}