| | 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 fyodor_ip : (ip) = "64.20.38.170"; *) |
| | 39 | |
| | 40 | val simpleWeb = \host -> \docroot -> web host where |
| | 41 | DocumentRoot = home docroot |
| | 42 | with end; |
HCoop / hcoop / domtool2.git / blame_incremental