This is the master page for information on HCoop's distributed system configuration tool.
For everyone
User Guide: An introduction to configuring shared daemons at HCoop.
Working Examples: A smorgasbord of example configuration snippets.
Language Reference: A complete description of the programming language used for configuration files.
Standard Library Reference, including all of the primitive actions for configuring shared daemons.
For admins (and the curious)
DomTool/AdminProcedures: The daily care and feeding of DomTool.
DomTool/ArchitectureOverview: How does this beast work, anyway?
DomTool/Plugins: Descriptions of the different plugins responsible for configuring various daemons, including how they publish their configuration for those daemons to use.
DomTool/AdditionalClients: Several other command-line tools mentioned elsewhere on this wiki are really DomTool clients. This page collects notes on their implementations.
DomTool/SslProcedures: How to set up the various certificates used by the domtool clients and servers.
DomTool/Building: Obtaining and building the DomTool source.
DomTool/Implementation: Details on the implementation of the DomTool tools.
DomTool/Debugging: Some tricks to do manually what DomTool usually does automatically.
DomTool/Installation: The steps to deploy DomTool on a new HCoop system
DomTool/NonHCoopSetup: Guidelines and notes for setting up DomTool at non-HCoop machines
Old pages
DomainTool describes the previous version of domtool.
DomtoolTwo is the preview added by AdamChlipala before we began migrating to our new servers.
You may use writing services to make adding the information to pages easier.