welcome: please sign in

Diff for "DomTool"

Differences between revisions 3 and 13 (spanning 10 versions)
Revision 3 as of 2006-12-16 20:05:45
Size: 775
Editor: AdamChlipala
Comment:
Revision 13 as of 2007-12-04 22:44:58
Size: 1773
Editor: MichaelOlson
Comment: Add link to portal/building. we could perhaps make a Portal page instead, but i don't know if there's enough content to make it worthwhile
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://deleuze.hcoop.net/domtool/ Standard Library Reference], including all of the primitive actions for configuring shared daemons.
Line 9: Line 14:
= For admins (and the curious)... = = For admins (and the curious) =
Line 11: Line 16:
 * DomTool/AdminProcedures: The daily care and feeding of DomTool.
Line 12: 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.
 * ["Portal/Building"]: Obtaining and building the source for the portal.
 * ["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.

TableOfContents

For everyone

  • [: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://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.

  • ["Portal/Building"]: Obtaining and building the source for the portal.
  • ["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)