src/config.sample.sml

   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