Commit | Line | Data |
---|---|---|
8a7c40fa AC |
1 | {{Apache web server configuration}} |
2 | ||
60695e99 AC |
3 | extern type web_node; |
4 | {{Nodes that accept Apache configuration from you}} | |
5 | ||
6 | extern val web_node_to_node : web_node -> node; | |
7 | ||
8a7c40fa AC |
8 | context Vhost; |
9 | {{A WWW virtual host}} | |
10 | ||
00a13ad8 | 11 | extern type suexec_flag; |
00a13ad8 | 12 | {{Whether or not to use Suexec with a vhost. |
434a7b1f AC |
13 | For users with the 'www' privilege, this type is identical to [bool]. |
14 | For others, it has only one value, [true].}} | |
15 | ||
16 | extern type ssl_cert_path; | |
17 | {{Filesystem path to an SSL certificate in your 'cert' list}} | |
18 | ||
19 | extern type ssl; | |
20 | extern val no_ssl : ssl; | |
21 | extern val use_cert : ssl_cert_path -> ssl; | |
00a13ad8 | 22 | |
8a7c40fa | 23 | extern val vhost : host -> Vhost => [Domain] |
60695e99 | 24 | {WebNodes : [web_node], |
434a7b1f | 25 | SSL : ssl, |
8a7c40fa AC |
26 | User : your_user, |
27 | Group : your_group, | |
28 | DocumentRoot : your_path, | |
00a13ad8 AC |
29 | ServerAdmin : email, |
30 | SuExec : suexec_flag}; | |
f8dfbbcc AC |
31 | {{Add a new named Apache virtual host, specifying which nodes' Apache servers |
32 | should answer requests for this host, whether it should use SSL, what UNIX | |
33 | user and group dynamic content generators should be run as, the filesystem | |
34 | path to the static content root, and the e-mail address to which error pages | |
35 | should direct visitors.}} | |
2882ee37 AC |
36 | |
37 | context Location; | |
38 | ||
39 | extern type location; | |
40 | {{A valid URI prefix}} | |
41 | ||
3196000d | 42 | extern val location : location -> Vhost & Location => [Vhost & !Location]; |
2882ee37 AC |
43 | extern val directory : your_path -> ^Vhost & Location => [Vhost & !Location]; |
44 | {{Set some configuration specific to a URI prefix or filesystem directory, | |
45 | respectively.}} | |
edd38024 | 46 | |
e519d696 | 47 | extern val serverAliasHost : your_domain_host -> [Vhost]; |
edd38024 | 48 | {{Give an alternate hostname for this vhost.}} |
e519d696 AC |
49 | extern val serverAlias : host -> [Vhost]; |
50 | {{Like serverAliasHost, but adds an alias for the given hostname at every domain | |
51 | being configured.}} | |
52 | extern val serverAliasDefault : [Vhost]; | |
53 | {{Like serverAliasDefault, but adds aliases for the domains being configured | |
54 | instead of any of their hosts/"subdomains".}} |