Fixing some things that prevented SML/NJ compilation

[hcoop/domtool2.git] / configDefault / domtool.cfg

diff --git a/configDefault/domtool.cfg b/configDefault/domtool.cfg
index 6d1c7e1..730414f 100644 (file)
--- 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"
 
@@ -51,3 +54,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"
+      | _ => "/afs/hcoop.net/usr/" ^ user ^ "/domtool"