232019-04-27 23:35:57ClintonEbadiRevert to revision 21.222019-04-25 01:42:29121.127.6.130212010-01-22 14:19:16RichardDarstremove spam202010-01-21 04:15:5092-49-214-205.dynamic.peoplenet.ua192009-11-26 19:51:40DavorOcelic182009-04-09 18:43:41AdamChlipalaLearningTheDetails172008-07-07 04:28:13localhostconverted to 1.6 markup162008-04-30 15:18:03AdamChlipaladeleuze -> hcoop152008-03-09 14:13:21AdamChlipalaInstallation142007-12-05 01:29:47AdamChlipalaRemove off-topic portal link132007-12-04 22:44:58MichaelOlsonAdd 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 worthwhile122007-11-12 02:16:37MichaelOlsonApply style guidelines, bolden some links, add some link descriptions112007-09-27 02:35:14MichaelOlsonRemove "future developments" notice. The future is upon us!102007-02-10 17:56:28AdamChlipalaAdd Debugging92006-12-24 03:43:10AdamChlipalaLink AdditionalClients82006-12-17 18:10:27AdamChlipalaSpelling correction72006-12-16 23:57:15AdamChlipalaInterpreter -> Implementation62006-12-16 22:09:34AdamChlipala52006-12-16 20:37:09AdamChlipalaLink to lib reference42006-12-16 20:10:20AdamChlipala32006-12-16 20:05:45AdamChlipala22006-12-09 00:58:58AdamChlipalaWarning to new members12006-12-09 00:46:19AdamChlipalaThis is the master page for information on HCoop's distributed system configuration tool.

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. About learning the Domtool language

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

DomainTool describes the previous version of domtool. DomtoolTwo is the preview added by AdamChlipala before we began migrating to our new servers.