domtool-public: workaround mailman plugin deficiencies
[hcoop/domtool2.git] / lib / hcoop.dtl
1 {{HCoop-specific stuff}}
2
3 extern type homedir_path;
4 {{Some relative subdirectory of your home directory}}
5
6 extern val home : homedir_path -> your_path;
7 {{Shortcut to denote a subdirectory of your home directory}}
8
9 extern val homeS : no_spaces -> no_spaces;
10 {{Use this version when it doesn't matter if the output is a real filesystem
11 path.}}
12
13 val mailmanHcoop = mailmanWebHost "lists.hcoop.net";
14 {{Configure your domain to have its Mailman mailing lists served on the web at
15 lists.hcoop.net.}}
16
17 (* Peer 1 *)
18 val deleuze_ip : (ip) = "69.90.123.67";
19 val mire_ip : (ip) = "69.90.123.68";
20 val navajos_ip : (ip) = "69.90.123.70";
21 val bog_ip : (ip) = "69.90.123.72";
22 val mccarthy_ip : (ip) = "69.90.123.73";
23 val hopper_ip : (ip) = "69.90.123.74";
24 val fritz_ip : (ip) = "69.90.123.75";
25
26 (* Linode *)
27 val outpost_ip : (ip) = "151.236.216.192";
28
29 (* Digital Ocean *)
30 val gibran_ip : (ip) = "159.203.101.102";
31 val gibran_private_ip : (ip) = "10.132.94.132";
32 val gibran_ipv6 : (ipv6) = "2604:a880:800:a1::c6:f001";
33
34 val marsh_ip : (ip) = "165.227.79.103";
35 val marsh_private_ip : (ip) = "10.132.53.183";
36 val marsh_ipv6 : (ipv6) = "2604:a880:800:a1::8dc:4001";
37
38 val minsky_ip : (ip) = "138.197.104.192";
39 val minsky_private_ip : (ip) = "10.132.150.187";
40 val minsky_ipv6 : (ipv6) = "2604:a880:800:a1::1232:e001";
41
42 val shelob_ip : (ip) = "165.227.126.167";
43 val shelob_private_ip : (ip) = "10.132.10.58";
44 val shelob_ipv6 : (ipv6) = "2604:a880:800:a1::14a3:7001";
45 (* val fyodor_ip : (ip) = "64.20.38.170"; *)
46
47 val simpleWeb = \host -> \docroot -> web host where
48 DocumentRoot = home docroot
49 with end;