A catch-all alias by default is deprecated. Rather than eliminating a
default email alias entirely, it will soon default to
$hcoop-username@$domain. Use new DefaultAliasSource environment
variable to change. The default is still a catch-all temporarily.
val addDefaultAlias = begin
mailbox <- Mailbox;
val addDefaultAlias = begin
mailbox <- Mailbox;
+ source <- DefaultAliasSource;
+ aliasPrim source (addressTarget mailbox)
(* HCoop Domtool (http://hcoop.sourceforge.net/)
* Copyright (c) 2007, Adam Chlipala
(* HCoop Domtool (http://hcoop.sourceforge.net/)
* Copyright (c) 2007, Adam Chlipala
+ * Copyright (c) 2014 Clinton Ebadi <clinton@unknownlamer.org>
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License
(TBase "bool", dl),
(fn () => (EVar "true", dl)))
(TBase "bool", dl),
(fn () => (EVar "true", dl)))
+val _ = Defaults.registerDefault ("DefaultAliasSource",
+ (TBase "aliasSource", dl),
+ (fn () => (EApp ((EVar "defaultSource", dl), (EString (Domain.getUser ()), dl)), dl)))
+
val _ = Defaults.registerDefault ("HandleMail",
(TBase "bool", dl),
(fn () => (EVar "true", dl)))
val _ = Defaults.registerDefault ("HandleMail",
(TBase "bool", dl),
(fn () => (EVar "true", dl)))