lib: add AAAA record for mailman hosts

[hcoop/domtool2.git] / configDefault / mailman.cfg

diff --git a/configDefault/mailman.cfg b/configDefault/mailman.cfg
index ab6f51a..e925149 100644 (file)
--- a/configDefault/mailman.cfg
+++ b/configDefault/mailman.cfg
@@ -1,10 +1,10 @@
 structure Mailman :> MAILMAN_CONFIG = struct
 
-val node = "this"
+val node = "minsky"
 
-val mapFile = "/home/adamc/fake/mailman.map"
+val mapFile = ConfigCore.localRoot ^ "/mailman.map"
+val handleDomains = ConfigCore.localRoot ^ "/mailman_domains.cfg"
 
-val reload = "echo \"I would reload Mailman now.\""
-(* "/etc/init.d/mailman reload" *)
+val reload = ConfigCore.sudo ^ " " ^ ConfigCore.installPrefix ^ "/sbin/domtool-publish mailman"
 
 end