welcome: please sign in

Diff for "DomTool"

Differences between revisions 5 and 17 (spanning 12 versions)
Revision 5 as of 2006-12-16 20:37:09
Size: 1091
Editor: AdamChlipala
Comment: Link to lib reference
Revision 17 as of 2008-07-07 04:28:13
Size: 1775
Editor: localhost
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/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 11: Line 14:
= For admins (and the curious)... = = For admins (and the curious) =
Line 13: Line 16:
 * DomTool/AdminProcedures: The daily care and feeding of DomTool  * DomTool/AdminProcedures: The daily care and feeding of DomTool.
Line 15: Line 18:
 * 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

This is the master page for information on HCoop's distributed system configuration tool.

For everyone

For admins (and the curious)

Old pages

DomTool (last edited 2019-04-27 23:35:57 by ClintonEbadi)