Commit | Line | Data |
---|---|---|
182a2654 AC |
1 | (* |
2 | Domtool (http://hcoop.sf.net/) | |
3 | Copyright (C) 2004 Adam Chlipala | |
4 | ||
5 | This program is free software; you can redistribute it and/or | |
6 | modify it under the terms of the GNU General Public License | |
7 | as published by the Free Software Foundation; either version 2 | |
8 | of the License, or (at your option) any later version. | |
9 | ||
10 | This program is distributed in the hope that it will be useful, | |
11 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
12 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
13 | GNU General Public License for more details. | |
14 | ||
15 | You should have received a copy of the GNU General Public License | |
16 | along with this program; if not, write to the Free Software | |
17 | Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. | |
18 | *) | |
19 | ||
20 | (* Some options you might want to change *) | |
21 | ||
22 | structure Config = | |
23 | struct | |
24 | (* Root of domain configuration tree *) | |
25 | val dataDir = "/etc/domains" | |
26 | ||
27 | (* Temporary location for new daemon config files before publishing *) | |
28 | val scratchDir = "/home/domains" | |
29 | ||
30 | (* Name of a directory to create/delete for locking purposes *) | |
31 | val lockFile = "/home/domains/.lock" | |
32 | ||
33 | (* UID of the user as whom domtool will run (used to check authenticity | |
34 | * of .users, .groups, and .paths files) *) | |
35 | val uid = 1031 | |
36 | ||
37 | (* Path to the config file for the default web vhost for this server. | |
38 | * Configuration for this host will be ignored, leaving it up to admins to | |
39 | * set it up manually. | |
40 | *) | |
41 | val defaultWebPath = "/etc/domains/net/hcoop/www" | |
42 | ||
36f5ca38 AC |
43 | (* Host version of the above *) |
44 | val defaultHost = "www.hcoop.net" | |
45 | ||
182a2654 AC |
46 | (* When this is true, extra debug info may be printed. *) |
47 | val debug = false | |
48 | ||
49 | (* Command to run dompub (probably as root) *) | |
50 | val dompub = "sudo /usr/local/bin/domtool.real publish" | |
51 | ||
52 | (* Paths to standard tools *) | |
53 | val cp = "/bin/cp" | |
39a98bd7 | 54 | val rm = "/bin/rm" |
182a2654 AC |
55 | val diff = "/usr/bin/diff" |
56 | val cat = "/bin/cat" | |
57 | val sudo = "/usr/bin/sudo" | |
d1c1f370 AC |
58 | val chown = "/bin/chown" |
59 | val chgrp = "/bin/chgrp" | |
60 | val chmod = "/bin/chmod" | |
61 | val mkdir = "/bin/mkdir" | |
62 | val grep = "/bin/grep" | |
63 | val scp = "/usr/bin/scp" | |
64 | val rsync = "/usr/bin/rsync" | |
6ebfb304 AC |
65 | |
66 | (* Trusted user/group string, for .paths et al. *) | |
67 | val trustedUserGroup = "domtool.adm" | |
182a2654 | 68 | end |