diff options
author | tv <tv@krebsco.de> | 2016-07-17 00:35:30 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2016-07-17 00:53:21 +0200 |
commit | d8616439191014697d3f99776b5c51a2d799d907 (patch) | |
tree | df76483cea4813c2051a1341e568144da805b2d3 | |
parent | 9c4ed31565f3491f055963bcd7869bd0c1e62aa5 (diff) |
krebs.build: simplify structure
-rw-r--r-- | krebs/3modules/build.nix | 25 |
1 files changed, 12 insertions, 13 deletions
diff --git a/krebs/3modules/build.nix b/krebs/3modules/build.nix index 5924d1033..bc04345d6 100644 --- a/krebs/3modules/build.nix +++ b/krebs/3modules/build.nix @@ -1,29 +1,28 @@ -{ config, lib, ... }: +{ config, ... }: with config.krebs.lib; -let - out = { +{ + options.krebs.build = { # TODO deprecate krebs.build.host - options.krebs.build.host = mkOption { + host = mkOption { type = types.host; }; # TODO make krebs.build.profile shell safe - options.krebs.build.profile = mkOption { + profile = mkOption { type = types.str; default = "/nix/var/nix/profiles/system"; }; - # TODO deprecate krebs.build.user - options.krebs.build.user = mkOption { - type = types.user; - }; - - options.krebs.build.source = mkOption { + source = mkOption { type = types.attrsOf types.source; default = {}; }; - }; -in out + # TODO deprecate krebs.build.user + user = mkOption { + type = types.user; + }; + }; +} |