| | 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 | val deleuze_ip : (ip) = "69.90.123.67"; |
| | 18 | val mire_ip : (ip) = "69.90.123.68"; |
| | 19 | val krunk_ip : (ip) = "69.90.123.70"; |
| | 20 | val fyodor_ip : (ip) = "64.20.38.170"; |
| | 21 | |
| | 22 | val simple_web = \host -> \docroot -> web host where |
| | 23 | DocumentRoot = home docroot |
| | 24 | with end; |
HCoop / hcoop / domtool2.git / blame_incremental