X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/4f9c5b51c146b0d87a975157d1e90ba316470326..3ee4785cf7ea173d6ea9eb65cc3c43c5a5729f28:/lib/hcoop.dtl diff --git a/lib/hcoop.dtl b/lib/hcoop.dtl index 755949d..d65d892 100644 --- a/lib/hcoop.dtl +++ b/lib/hcoop.dtl @@ -6,6 +6,52 @@ extern type homedir_path; extern val home : homedir_path -> your_path; {{Shortcut to denote a subdirectory of your home directory}} +extern val homeS : no_spaces -> no_spaces; +{{Use this version when it doesn't matter if the output is a real filesystem + path.}} + val mailmanHcoop = mailmanWebHost "lists.hcoop.net"; {{Configure your domain to have its Mailman mailing lists served on the web at lists.hcoop.net.}} + +(* Peer 1 *) +val deleuze_ip : (ip) = "69.90.123.67"; +val mire_ip : (ip) = "69.90.123.68"; +val navajos_ip : (ip) = "69.90.123.70"; +val bog_ip : (ip) = "69.90.123.72"; +val mccarthy_ip : (ip) = "69.90.123.73"; +val hopper_ip : (ip) = "69.90.123.74"; +val fritz_ip : (ip) = "69.90.123.75"; + +(* Linode *) +val outpost_ip : (ip) = "151.236.216.192"; +val outpost_ipv6 : (ipv6) = "2a01:7e00::f03c:91ff:fe70:7c62"; + +(* Digital Ocean *) +val busted_ip : (ip) = "64.225.6.23"; +val busted_private_ip : (ip) = "10.132.165.25"; +val busted_ipv6 : (ipv6) = "2604:a880:800:c1::1fe:7001"; + +val gibran_ip : (ip) = "142.93.177.82"; +val gibran_private_ip : (ip) = "10.132.5.78"; +val gibran_ipv6 : (ipv6) = "2604:a880:800:c1::99:5001"; + +val lovelace_ip : (ip) = "68.183.58.241"; +val lovelace_private_ip : (ip) = "10.132.27.211"; +val lovelace_ipv6 : (ipv6) = "2604:a880:800:c1::c2:7001"; + +val marsh_ip : (ip) = "45.55.52.66"; +val marsh_private_ip : (ip) = "10.132.96.182"; +val marsh_ipv6 : (ipv6) = "2604:a880:800:a1::13a3:f001"; + +val minsky_ip : (ip) = "104.248.1.95"; +val minsky_private_ip : (ip) = "10.132.154.5"; +val minsky_ipv6 : (ipv6) = "2604:a880:800:c1::b1:5001"; + +val shelob_ip : (ip) = "68.183.54.165"; +val shelob_private_ip : (ip) = "10.132.7.249"; +val shelob_ipv6 : (ipv6) = "2604:a880:800:c1::d:3001"; + +val simpleWeb = \host -> \docroot -> web host where + DocumentRoot = home docroot +with end;