|
Size: 1497
Comment: Interpreter -> Implementation
|
Size: 1775
Comment: converted to 1.6 markup
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| #pragma section-numbers off |
|
| Line 3: | Line 5: |
| '''New members''': This section of the wiki contains information on '''future developments''' and will only confuse you if you are looking for information on configuring your new account! | <<TableOfContents>> |
| Line 5: | Line 7: |
| = For everyone... = | = For everyone = |
| Line 7: | Line 9: |
| * DomTool/UserGuide: An introduction to configuring shared daemons at HCoop * ["DomTool/Examples"]: A smorgasbord of example configuration snippsets * DomTool/LanguageReference: 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 |
* '''[[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://hcoop.net/domtool/|Standard Library Reference]], including all of the primitive actions for configuring shared daemons. |
| Line 12: | Line 14: |
| = For admins (and the curious)... = | = For admins (and the curious) = |
| Line 14: | Line 16: |
| * DomTool/AdminProcedures: The daily care and feeding of DomTool | * DomTool/AdminProcedures: The daily care and feeding of DomTool. |
| Line 16: | Line 18: |
| * ["DomTool/Plugins"]: Descriptions of the different plugins responsible for configuring various daemons, including how they publish their configuration for those daemons to use * 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/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 |
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
Old pages
DomainTool describes the previous version of domtool.
DomtoolTwo is the preview added by AdamChlipala before we began migrating to our new servers.