summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@shackspace.de>2015-07-25 01:05:14 +0200
committertv <tv@shackspace.de>2015-07-25 01:32:24 +0200
commit939f1b20c2d9e7da6fbe83005057a5e14d5abf4d (patch)
tree4904389fa7b2fc4ef008c3dbbea14c7bd1cd5fac
parenta489c7be84ffa76bb71542277af6c114c40961f2 (diff)
krebs.types.user += mail
-rw-r--r--4lib/krebs/types.nix3
1 files changed, 3 insertions, 0 deletions
diff --git a/4lib/krebs/types.nix b/4lib/krebs/types.nix
index ca92c6900..3d3d75a65 100644
--- a/4lib/krebs/types.nix
+++ b/4lib/krebs/types.nix
@@ -83,6 +83,9 @@ types // rec {
user = submodule {
options = {
+ mail = mkOption {
+ type = str; # TODO retiolum mail address
+ };
name = mkOption {
type = str; # TODO
};