X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/b271ecb02a659115092aa73ebf2e15bf607c4bb8..464f8a3dcfb9f588cd9c1df1154d891b8d3d36eb:/lib/hcoop.dtl

diff --git a/lib/hcoop.dtl b/lib/hcoop.dtl
index d9fe950..8e35af6 100644
--- a/lib/hcoop.dtl
+++ b/lib/hcoop.dtl
@@ -6,3 +6,48 @@ 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 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;