diff options
| author | tv <tv@krebsco.de> | 2015-11-06 22:16:59 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2015-11-06 22:20:26 +0100 |
| commit | 4d93a8215f08cbea0bbcb8c668f2bbc9600016da (patch) | |
| tree | 4293fa5dbec04fdbbed8087dcdfe79ed60b6fb6c /krebs | |
| parent | f559b19bec61730c537cdd76233304e66c3f497a (diff) | |
krebs.build.source.dir.host defaults to current.host
Diffstat (limited to 'krebs')
| -rw-r--r-- | krebs/3modules/build.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/krebs/3modules/build.nix b/krebs/3modules/build.nix index 1205e192b..7f004cd81 100644 --- a/krebs/3modules/build.nix +++ b/krebs/3modules/build.nix @@ -29,10 +29,13 @@ let }; options.krebs.build.source.dir = mkOption { - type = types.attrsOf (types.submodule ({ config, ... }: { + type = let + default-host = config.krebs.current.host; + in types.attrsOf (types.submodule ({ config, ... }: { options = { host = mkOption { type = types.host; + default = default-host; }; path = mkOption { type = types.str; |