|
Size: 775
Comment:
|
Size: 2073
Comment:
|
| 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/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. * [[DomTool/LearningTheDetails|About learning the Domtool language]] = For admins (and the curious) = |
| Line 9: | Line 17: |
| = For admins (and the curious)... = |
* DomTool/AdminProcedures: The daily care and feeding of DomTool. |
| Line 12: | Line 19: |
| * DomTool/SslProcedures: How to set up the various certificates used by the domtool clients and servers | * [[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 |
| Line 17: | 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. * You may use [[http://essaywritingservices.org/index.php|writing services]] to make adding the information to pages easier. |
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.