welcome: please sign in

Diff for "DomTool"

Differences between revisions 3 and 10 (spanning 7 versions)
Revision 3 as of 2006-12-16 20:05:45
Size: 775
Editor: AdamChlipala
Comment:
Revision 10 as of 2007-02-10 17:56:28
Size: 1766
Editor: AdamChlipala
Comment: Add Debugging
Deletions are marked like this. Additions are marked like this.
Line 8: Line 8:
 * ["DomTool/Examples"]: A smorgasbord of example configuration snippets
 * 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
Line 11: Line 14:
 * DomTool/AdminProcedures: The daily care and feeding of DomTool
Line 12: Line 16:
 * ["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.
Line 13: Line 19:
 * ["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

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

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!

For everyone...

  • DomTool/UserGuide: An introduction to configuring shared daemons at HCoop

  • ["DomTool/Examples"]: A smorgasbord of example configuration snippets
  • 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

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

Old pages

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