welcome: please sign in

Diff for "DomTool"

Differences between revisions 5 and 20 (spanning 15 versions)
Revision 5 as of 2006-12-16 20:37:09
Size: 1091
Editor: AdamChlipala
Comment: Link to lib reference
Revision 20 as of 2010-01-21 04:15:50
Size: 2073
Editor: WILSON
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/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.
 * [[DomTool/LearningTheDetails|About learning the Domtool language]]
 
= For admins (and the curious) =
Line 11: Line 17:
= For admins (and the curious)... =

* DomTool/AdminProcedures: The daily care and feeding of DomTool
 * DomTool/AdminProcedures: The daily care and feeding of DomTool.
Line 15: 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 20: 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

For admins (and the curious)

Old pages

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