2 Domtool (http
://hcoop
.sf
.net
/)
3 Copyright (C
) 2004 Adam Chlipala
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
.
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
.
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
.
20 (* Some options you might want to change
*)
24 (* Root
of domain configuration tree
*)
25 val dataDir
= "/etc/domains"
27 (* Temporary location for new daemon config files
before publishing
*)
28 val scratchDir
= "/home/domains"
30 (* Name
of a directory to create
/delete for locking purposes
*)
31 val lockFile
= "/home/domains/.lock"
33 (* UID
of the user
as whom domtool will
run (used to check authenticity
34 * of .users
, .groups
, and .paths files
) *)
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
41 val defaultWebPath
= "/etc/domains/net/hcoop/www"
43 (* When this is
true, extra debug info may be printed
. *)
46 (* Command to run
dompub (probably
as root
) *)
47 val dompub
= "sudo /usr/local/bin/domtool.real publish"
49 (* Paths to standard tools
*)
51 val diff
= "/usr/bin/diff"
53 val sudo
= "/usr/bin/sudo"