HCoop / hcoop / domtool2.git / blame_incremental
| Commit | Line | Data |
|---|---|---|
| 1 | structure ConfigCore :> CONFIG_CORE = struct | |
| 2 | ||
| 3 | val sharedRoot = "/afs/hcoop.net/common/etc/domtool" | |
| 4 | val localRoot = "/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 |