| 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 | dnsIP host (ip_of_node (mailman_web_node_to_node mailman_web_node)); |
| 25 | domainHost host; |
| 26 | mwh <- Hostname; |
| 27 | mailmanWebHost mwh; |
| 28 | mailmanVhost host where |
| 29 | MailmanWebNodes = [mailman_web_node]; |
| 30 | SSL = no_ssl |
| 31 | end; |
| 32 | end; |
| 33 | {{The most common Mailman config, for when you want to have a virtual host of your |
| 34 | domain dedicated to a Mailman interface. Provide the name of that host (e.g., |
| 35 | "lists") to this directive, and it will take care of the rest.}} |