| 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 quag_ip : (ip) ="45.55.56.11"; |
| 35 | val quag_private_ip : (ip) = "10.132.134.46"; |
| 36 | val quag_ipv6 : (ipv6) = "2604:a880:800:a1::67a:3001"; |
| 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; |