Change method of determining whether a package is installed
[hcoop/domtool2.git] / configDefault / domtool.cfs
CommitLineData
d189ec0e
AC
1val libRoot : string
2(* Basis library root directory *)
095de39e
AC
3
4val resultRoot : string
5(* Root directory for a directory hierarchy corresponding to domain structure,
6 * where each node contains Domtool-generated result files for that domain. *)
d189ec0e 7
d612d62c
AC
8val tmpDir : string
9(* Filesystem location for creating temporary directories *)
10
11(* Paths to standard UNIX utilities *)
8df2e702 12val cat : string
d612d62c
AC
13val cp : string
14val diff : string
15val rm : string
7db53a0b 16val echo : string
2bc5ed22
AC
17val grep : string
18val sudo : string
19val domtool_publish : string
6ae327f8
AC
20
21(* DNS SOA parameter defaults *)
22val defaultNs : string
23val defaultRefresh : int
24val defaultRetry : int
25val defaultExpiry : int
26val defaultMinimum : int
e0b0abd2
AC
27
28(* Names of machines who will receive configuration *)
2ed6d0e5 29val nodeIps : (string * string) list
e0b0abd2 30val defaultNode : string
12adf55a 31
8b84db5b
AC
32val masterNode : string
33val slaveNodes : string list
34
12adf55a
AC
35val aclFile : string
36(* Place to serialize ACL information *)
37
38val testUser : string
8a7c40fa
AC
39
40val defaultDomain : string
559e89e9
AC
41
42val dispatcher : string
07cc384c 43val dispatcherPort : int
36e42cb8 44val slavePort : int
3b267643 45val queueSize : int
07cc384c
AC
46
47val bufSize : int
48
3b267643
AC
49val trustStore : string
50val serverCert : string
51val serverKey : string
aa56e112
AC
52
53val certDir : string
54val keyDir : string
82a0d609 55val serialDir : string
36e42cb8
AC
56
57val dispatcherName : string
97665758 58
be1bea4c
AC
59val dnsNodes_all : string list
60val dnsNodes_admin : string list
bbdf617f
AC
61
62val mailNodes_all : string list
63val mailNodes_admin : string list
1824f573
AC
64
65val domtoolDir : string -> string