| | 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 navajos_ip : (ip) = "69.90.123.70"; |
| | 20 | val bog_ip : (ip) = "69.90.123.72"; |
| | 21 | val mccarthy_ip : (ip) = "69.90.123.73"; |
| | 22 | val hopper_ip : (ip) = "69.90.123.74"; |
| | 23 | val fritz_ip : (ip) = "69.90.123.75"; |
| | 24 | |
| | 25 | val outpost_ip : (ip) = "151.236.216.192"; |
| | 26 | |
| | 27 | (* val fyodor_ip : (ip) = "64.20.38.170"; *) |
| | 28 | |
| | 29 | val simpleWeb = \host -> \docroot -> web host where |
| | 30 | DocumentRoot = home docroot |
| | 31 | with end; |
HCoop / hcoop / domtool2.git / blame_incremental