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 | ||
43 | (* When this is true, extra debug info may be printed. *) | |
44 | val debug = false | |
45 | ||
46 | (* Command to run dompub (probably as root) *) | |
47 | val dompub = "sudo /usr/local/bin/domtool.real publish" | |
48 | ||
49 | (* Paths to standard tools *) | |
50 | val cp = "/bin/cp" | |
51 | val diff = "/usr/bin/diff" | |
52 | val cat = "/bin/cat" | |
53 | val sudo = "/usr/bin/sudo" | |
54 | end |