Results 1 - 25 of 77 results out of about 6026 pages. (2.78 seconds)
- DomTool/AdminProcedures . . . 72 matches
- ...s, people with root privileges on our servers. Most members should probably start at DomTool/UserGuide.
<<TableOfContents>>
= Conventions for this document =
We'll use:
* `$U...
- DomTool/UserGuide . . . 60 matches
- ...
This is the DomTool User Guide. The properties of DomTool are described, as well as its use and its configuration file format.
<<TableOfContents>>
= Overview =
HCoop is almo...
- DomTool/Implementation . . . 43 matches
- ...This page describes the implementation of the DomTool language interpreter and other tools. Most members would probably be better served visiting DomTool/UserGuide.
<<TableOfCont...
- DomTool/Plugins . . . 41 matches
- ... is, people with root privileges on our servers. Most members should probably consult DomTool/UserGuide instead.
This page documents the different DomTool '''plugins''', which pr...
- DomTool/NonHCoopSetup . . . 37 matches
- ...DomTool source code is, at places, HCoop and OpenAFS-specific. Here's a documented procedure for setting up DomTool on non-HCoop machines and without using AFS.
The instructions...
- DomTool/Installation . . . 36 matches
- ...u make multiple releases in a day append `-N` starting with `1`.
Running the `deploy-domtool` script will then pull, build, and install domtool sitewide.
To deploy on an individ...
- DomTool/ArchitectureOverview . . . 36 matches
- ...This page describes the client/server distributed configuration architecture of DomTool. For (largely orthogonal) information on the programming language used for configuration, ...
- MemberManual/UsingDomtool . . . 32 matches
- ...berManual that describes the bare minimum that you need to know concerning our use of DomTool. This is meant to be a very brief HCoop-specific overview, compared to the DomTool/U...
- DomTool . . . 27 matches
- ...istributed system configuration tool.
<<TableOfContents>>
= For everyone =
* '''[[DomTool/UserGuide|User Guide]]''': An introduction to configuring shared daemons at HCoop.
*...
- DomtoolTwo . . . 26 matches
- ...'''This page is out of date and was only meant as a preview. See DomTool instead.'''
Herein lies an overview of the new configuration management tool that AdamChlipala is develo...
- DomTool/Building . . . 20 matches
- ...<<TableOfContents>>
= Prerequisites =
DomTool minimally requires an SML compiler, libpcre for regex handling, libssl for communications, and rsync to publish configuration.
For...
- DomTool/LanguageReference . . . 18 matches
- ...
This page gives an in-depth specification of the DomTool language. Most members would probably prefer the more informal presentation in DomTool/UserGuide.
<<TableOfContents>>
...
- DomTool/WhyNoHtaccess . . . 11 matches
- ...sses, disabling Apache for everyone.
Instead, you can configure your web sites using DomTool, as shown on [[DomTool/Examples]]. All of the most common Apache directives have Dom...
- DomTool/SslProcedures . . . 10 matches
- ...The SSL certification authority and related certificates discussed here are used by [[DomTool/ArchitectureOverview#Users_and_authentication|domtool for authentication]], and are n...
- DomTool/LearningTheDetails . . . 10 matches
- ...The DomTool language is a statically-typed functional language, like Haskell or ML. Its designers expect that anyone who is an expert Haskell and ML programmer will be able to lea...
- DomTool/Examples . . . 10 matches
- ...Here are some example configuration files for DomTool, our distributed configuration management system.
<<TableOfContents>>
= Domains =
== The Model T ==
If you just want to d...
- DomTool/AdditionalClients . . . 9 matches
- ...This page documents command-line tools besides the `domtool*` family that act as DomTool clients. It's aimed at admins. Most members will probably find the most useful documentati...
- DomTool/Examples/Full . . . 3 matches
- ...
This page contains a number of working examples of DomTool configuration. People are welcome to add their own working examples to this page if they like.
<<TableOfContents>>
...
- MemberManual/ServingWebsites . . . 23 matches
- ...net|portal]]. Once it is authorized by an administrator, you will be able to utilize DomTool. DomTool will let Apache and other services know about your domain. Please take a l...
- ClintonEbadi . . . 22 matches
- ... am the Treasurer of the coop (someone has to do it), and the current lead sysadmin / DomTool maintainer / lo-fi AdamChlipala replacement.
<<TableOfContents>>
= Board Statement...
- HcoopVolunteerTasks . . . 19 matches
- ...erformance and using read+write+fsync is probably better ?
* The [[https://hcoop.net/domtool/|domtool reference documentation]] could use some sprucing up
* Easy: The docstrin...
- MemberManual/FAQ . . . 18 matches
- ...
This page contains answers to questions often asked about DomTool and our setup.
<<TableOfContents>>
= Shell Access =
== Can I use an ssh public key to log in? ==
SSH public ...
- ServerMcCarthy . . . 15 matches
- ...and auth against sasld
`mkdir /etc/courier /etc/spamassassin` for userdb and spamd. `domtool-publish` should at least make the spamassassin dir...
`touch /var/domtool/{local,rel...
- InstallationProcedure/CommonInstallSteps . . . 13 matches
- ...vices rely on the rdns mapping to behave correctly.
1. Add basic node information to DomTool config
1. Edit `/afs/hcoop.net/common/etc/domtool/lib/hcoop.dtl` and add definiti...
- MemberManual/GettingStarted . . . 11 matches
- ...ables Kerberos authentication. See MemberManual/ShellAccess for more information.
= Domtool: Manage domain-specific DNS/email/web =
To manage all aspects of the Internet domains...