HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Improve easy_domain
[hcoop/domtool2.git]
/
lib
/
easy_domain.dtl
diff --git
a/lib/easy_domain.dtl
b/lib/easy_domain.dtl
index
9a1ace5
..
6bc7ee0
100644
(file)
--- a/
lib/easy_domain.dtl
+++ b/
lib/easy_domain.dtl
@@
-1,6
+1,20
@@
{{The most common kinds of domain configuration}}
{{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) ->
val dom =
\ d : (your_domain) ->
@@
-9,13
+23,11
@@
val dom =
dns (dnsNS "ns.hcoop.net");
dns (dnsNS "ns2.hcoop.net");
dns (dnsNS "ns.hcoop.net");
dns (dnsNS "ns2.hcoop.net");
- dns (dnsA "www" web_ip);
-
handleMail;
mailbox <- Mailbox;
catchAllAlias mailbox;
handleMail;
mailbox <- Mailbox;
catchAllAlias mailbox;
-
vhost
"www" with
+
web
"www" with
end;
config
end;
config