#pragma section-numbers off This is the master page for information on HCoop's distributed system configuration tool. [[TableOfContents]] = For everyone = * '''[:DomTool/UserGuide:User Guide]''': An introduction to configuring shared daemons at HCoop. * '''[:DomTool/Examples: Working Examples]''': A smorgasbord of example configuration snippets. * [:DomTool/LanguageReference:Language Reference]: A complete description of the programming language used for configuration files. * [http://deleuze.hcoop.net/domtool/ 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. = Old pages = * DomainTool describes the previous version of domtool. * DomtoolTwo is the preview added by AdamChlipala before we began migrating to our new servers.