Size: 1846
Comment: LearningTheDetails
|
Size: 1946
Comment: remove spam
|
Deletions are marked like this. | Additions are marked like this. |
Line 13: | Line 13: |
* [[DomTool/LearningTheDetails|About learning the Domtool language]] | * [[DomTool/LearningTheDetails|About learning the Domtool language]] |
Line 26: | Line 26: |
* [[DomTool/NonHCoopSetup]]: Guidelines and notes for setting up DomTool at non-HCoop machines | |
Line 30: | Line 31: |
* DomtoolTwo is the preview added by AdamChlipala before we began migrating to our new servers. | * DomtoolTwo is the preview added by AdamChlipala before we began migrating to our new servers. |
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.