config: warn that changing localRoot will not work currently
[hcoop/domtool2.git] / config / core / core.sml
... / ...
CommitLineData
1structure ConfigCore :> CONFIG_CORE = struct
2
3val sharedRoot = "/afs/hcoop.net/common/etc/domtool"
4val localRoot = "/var/domtool" (* warning: changing localRoot will likely break things due to scripts directly referencing /var/domtool *)
5val installPrefix = "/usr/local"
6
7val cat = "/bin/cat"
8val cp = "/bin/cp"
9val diff = "/usr/bin/diff"
10val rm = "/bin/rm"
11val echo = "/bin/echo"
12val grep = "/bin/grep"
13val sudo = "/usr/bin/sudo"
14
15end