diff options
| author | tv <tv@shackspace.de> | 2015-07-24 20:48:00 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-07-24 20:49:46 +0200 |
| commit | a62be1cef8726a2afa61df3dac9e19a71882b370 (patch) | |
| tree | 9415cfbe7628cbcce03d1691ea02e71be7babc88 /4lib/krebs/types.nix | |
| parent | 54becaa19fcbc11ac709ddaf86e56ee3b736931d (diff) | |
{2 tv git -> 3 krebs}.users
Diffstat (limited to '4lib/krebs/types.nix')
| -rw-r--r-- | 4lib/krebs/types.nix | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/4lib/krebs/types.nix b/4lib/krebs/types.nix index 9d02c779f..ca92c6900 100644 --- a/4lib/krebs/types.nix +++ b/4lib/krebs/types.nix @@ -81,6 +81,17 @@ types // rec { merge = mergeOneOption; }; + user = submodule { + options = { + name = mkOption { + type = str; # TODO + }; + pubkey = mkOption { + type = str; + }; + }; + }; + # TODO addr = str; addr4 = str; |