1 structure ConfigCore
:> CONFIG_CORE
= struct
3 val sharedRoot
= "/afs/hcoop.net/common/etc/domtool"
4 val localRoot
= "/var/domtool" (* warning
: changing localRoot will likely break things due to scripts directly referencing
/var
/domtool
*)
5 val installPrefix
= "/usr/local"
9 val diff
= "/usr/bin/diff"
11 val echo
= "/bin/echo"
12 val grep
= "/bin/grep"
13 val sudo
= "/usr/bin/sudo"