0af974d1e802c6581cddb24ab1b662c8a2f55ca0
[hcoop/domtool2.git] / config / core / core.sml
1 structure ConfigCore :> CONFIG_CORE = struct
2
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"
6
7 val cat = "/bin/cat"
8 val cp = "/bin/cp"
9 val diff = "/usr/bin/diff"
10 val rm = "/bin/rm"
11 val echo = "/bin/echo"
12 val grep = "/bin/grep"
13 val sudo = "/usr/bin/sudo"
14
15 end