diff options
| author | tv <tv@shackspace.de> | 2015-09-27 00:22:50 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-09-27 00:37:20 +0200 |
| commit | c9ccf22b154205caf55262ba6aa305e2c2247a02 (patch) | |
| tree | 1190657c3702bbeada39de2c449a17aea3d931c5 /krebs/4lib/types.nix | |
| parent | 9157c6fbc9e355dd7a6ea8c9e33a280492a4d35b (diff) | |
krebs.build: merge deploy and infest
Diffstat (limited to 'krebs/4lib/types.nix')
| -rw-r--r-- | krebs/4lib/types.nix | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/krebs/4lib/types.nix b/krebs/4lib/types.nix index f6b4bd8b1..dbffdf850 100644 --- a/krebs/4lib/types.nix +++ b/krebs/4lib/types.nix @@ -27,6 +27,16 @@ types // rec { type = with types; attrsOf string; }; + infest = { + addr = mkOption { + type = str; + }; + port = mkOption { + type = int; + default = 22; + }; + }; + secure = mkOption { type = bool; default = false; |