summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2015-07-25 01:05:14 +0200
committertv <tv@krebsco.de>2015-07-25 01:32:24 +0200
commit7f32cf635d2517db72c26842a591ae1a399a9b28 (patch)
tree6166d3e83ea459e2c9004dd7e877895c12bfd196
parent5ef409768b25185d7fef7f1fb9096d89ff16c6e4 (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 ca92c69..3d3d75a 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
};