diff options
author | makefu <github@syntax-fehler.de> | 2015-07-24 21:04:22 +0200 |
---|---|---|
committer | makefu <github@syntax-fehler.de> | 2015-07-24 21:04:22 +0200 |
commit | 6b2a9d6b26ef75ee78c96839d4aa06ab027fcf4e (patch) | |
tree | edae5b9996be874d0795571af2f1356e4b904a2b /4lib | |
parent | 8cf043ca2014e566ce2dc056d392fe9f85dc7cb7 (diff) | |
parent | 2154167857b6bd35c8b1cce2ad41521164abb2ff (diff) |
Merge remote-tracking branch 'cd/master'
Diffstat (limited to '4lib')
-rw-r--r-- | 4lib/krebs/default.nix | 10 | ||||
-rw-r--r-- | 4lib/krebs/types.nix | 20 | ||||
-rw-r--r-- | 4lib/tv/default.nix | 7 |
3 files changed, 29 insertions, 8 deletions
diff --git a/4lib/krebs/default.nix b/4lib/krebs/default.nix index 38c2a97..0c59076 100644 --- a/4lib/krebs/default.nix +++ b/4lib/krebs/default.nix @@ -1,6 +1,14 @@ { lib, ... }: -builtins // lib // { +with builtins; +with lib; + +builtins // lib // rec { + + addName = name: set: + set // { inherit name; }; + + addNames = mapAttrs addName; types = import ./types.nix { inherit lib; }; diff --git a/4lib/krebs/types.nix b/4lib/krebs/types.nix index 38ed8a9..ca92c69 100644 --- a/4lib/krebs/types.nix +++ b/4lib/krebs/types.nix @@ -20,6 +20,15 @@ types // rec { type = attrsOf net; apply = x: assert hasAttr "retiolum" x; x; }; + secure = mkOption { + type = bool; + default = false; + description = '' + If true, then the host is capable of keeping secret information. + + TODO define minimum requirements for secure hosts + ''; + }; }; }; @@ -72,6 +81,17 @@ types // rec { merge = mergeOneOption; }; + user = submodule { + options = { + name = mkOption { + type = str; # TODO + }; + pubkey = mkOption { + type = str; + }; + }; + }; + # TODO addr = str; addr4 = str; diff --git a/4lib/tv/default.nix b/4lib/tv/default.nix index 267a858..16888c2 100644 --- a/4lib/tv/default.nix +++ b/4lib/tv/default.nix @@ -15,16 +15,9 @@ krebs // rec { inherit pkgs; }; - addName = name: set: - set // { inherit name; }; - - addNames = mapAttrs addName; - - # "7.4.335" -> "74" majmin = with lib; x : concatStrings (take 2 (splitString "." x)); - concat = xs : if xs == [] then "" |