Commit | Line | Data |
---|---|---|
979844d5 CE |
1 | (* Core configure to allow domtool to be easily relocated *) |
2 | signature CONFIG_CORE = sig | |
3 | ||
4 | val sharedRoot : string | |
5 | (* Global file system space for domtool daemon to share *) | |
6 | ||
7 | val localRoot : string | |
8 | (* Local file system space for domtool to generate configuration into *) | |
9 | ||
10 | val installPrefix : string | |
11 | (* Prefix for domtool bin/share data ala GNU $PREFIX *) | |
12 | ||
13 | val cat : string | |
14 | val cp : string | |
15 | val diff : string | |
16 | val rm : string | |
17 | val echo : string | |
18 | val grep : string | |
19 | val sudo : string | |
20 | (* Paths to standard UNIX utilities *) | |
21 | ||
22 | end |