1 {{HCoop-specific stuff}}
3 extern type homedir_path;
4 {{Some relative subdirectory of your home directory}}
6 extern val home : homedir_path -> your_path;
7 {{Shortcut to denote a subdirectory of your home directory}}
9 extern val homeS : no_spaces -> no_spaces;
10 {{Use this version when it doesn't matter if the output is a real filesystem
13 val mailmanHcoop = mailmanWebHost "lists.hcoop.net";
14 {{Configure your domain to have its Mailman mailing lists served on the web at
17 val deleuze_ip : (ip) = "69.90.123.67";
18 val mire_ip : (ip) = "69.90.123.68";
19 val navajos_ip : (ip) = "69.90.123.70";
20 val bog_ip : (ip) = "69.90.123.72";
21 val hopper_ip : (ip) = "69.90.123.74";
22 val fritz_ip : (ip) = "69.90.123.75";
24 val outpost_ip : (ip) = "151.236.216.192";
26 (* val fyodor_ip : (ip) = "64.20.38.170"; *)
28 val simpleWeb = \host -> \docroot -> web host where
29 DocumentRoot = home docroot