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.

• About learning the Domtool language

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.