Update lib
[hcoop/domtool2.git] / lib / hcoop.dtl
CommitLineData
87fedaf1
AC
1{{HCoop-specific stuff}}
2
b271ecb0
AC
3extern type homedir_path;
4{{Some relative subdirectory of your home directory}}
5
6extern val home : homedir_path -> your_path;
87fedaf1
AC
7{{Shortcut to denote a subdirectory of your home directory}}
8
48ee2f67
AC
9extern 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
4f9c5b51
AC
13val mailmanHcoop = mailmanWebHost "lists.hcoop.net";
14{{Configure your domain to have its Mailman mailing lists served on the web at
15 lists.hcoop.net.}}
e7482df3
AC
16
17val deleuze_ip : (ip) = "69.90.123.67";
18val mire_ip : (ip) = "69.90.123.68";
768babf8 19val navajos_ip : (ip) = "69.90.123.70";
5ea8643a
CE
20val bog_ip : (ip) = "69.90.123.72";
21val hopper_ip : (ip) = "69.90.123.74";
22val fritz_ip : (ip) = "69.90.123.75";
23
24val outpost_ip : (ip) = "151.236.216.192";
768babf8
CE
25
26(* val fyodor_ip : (ip) = "64.20.38.170"; *)
6b65a0a6 27
22af7770 28val simpleWeb = \host -> \docroot -> web host where
6b65a0a6
AC
29 DocumentRoot = home docroot
30with end;