cp bin/domtool-server /usr/local/sbin/
cp bin/domtool-slave /usr/local/sbin/
cp bin/domtool-client /usr/local/bin/domtool
+
+.PHONY: grab_lib
+
+grab_lib:
+ rsync --delete /afs/hcoop.net/common/etc/domtool/lib/* lib/
extern type node;
{{The name of a server controlled by domtool}}
+extern val ip_of_node : node -> ip;
+{{Look up the IP address of a node.}}
+
extern type user;
extern type group;
{{UNIX users and groups}}
{{The most common kinds of domain configuration}}
-val web_ip : (ip) = "1.2.3.4";
+val web_node : (node) = "mire";
+
+val webAt =
+ \ n : (node) ->
+ \ host : (host) ->
+ \\ config : Vhost ->
+ (dns (dnsA host (ip_of_node n));
+
+ vhost host where
+ WebNodes = [n]
+ with
+ config
+ end);
+
+val web = webAt web_node;
val dom =
\ d : (your_domain) ->
dns (dnsNS "ns.hcoop.net");
dns (dnsNS "ns2.hcoop.net");
- dns (dnsA "www" web_ip);
-
handleMail;
mailbox <- Mailbox;
catchAllAlias mailbox;
- vhost "www" with
+ web "www" with
end;
config