homeS
[hcoop/domtool2.git] / lib / mailman.dtl
1 {{Mailman mailing list system}}
2
3 extern val mailmanWebHost : domain -> [Domain];
4 {{Set the hostname of the web site for administration of mailing lists for this
5 domain.}}
6
7 extern type mailman_web_node;
8 {{Like <tt>web_node</tt>, but with the possibility of using some additional
9 nodes set by the admins.}}
10
11 extern val mailman_web_node : mailman_web_node;
12 {{The default location for Mailman web interfaces}}
13
14 extern val mailman_web_node_to_node : mailman_web_node -> node;
15
16 extern val mailmanVhost : host -> [Domain]
17 {MailmanWebNodes : [mailman_web_node],
18 SSL : ssl,
19 User : your_user};
20 {{Create an Apache virtual host to serve as the web interface for some Mailman
21 lists.}}
22
23 val mailman = \ host : (host) -> begin
24 let
25 domainHost host;
26 in
27 dnsIP host (ip_of_node (mailman_web_node_to_node mailman_web_node));
28 mwh <- Hostname;
29 mailmanWebHost mwh;
30 mailmanVhost host where
31 MailmanWebNodes = [mailman_web_node];
32 SSL = no_ssl
33 end
34 end
35 end;
36 {{The most common Mailman config, for when you want to have a virtual host of your
37 domain dedicated to a Mailman interface. Provide the name of that host (e.g.,
38 "lists") to this directive, and it will take care of the rest.}}