diff options
author | tv <tv@krebsco.de> | 2016-02-19 16:18:50 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2016-02-20 02:02:07 +0100 |
commit | dbe2ece8ad962d654bc34f3a7c4802768df71ebb (patch) | |
tree | bfd889fdeb1aa30cd899610ebaa4e3c3ff05f774 | |
parent | 47ef169276fcb500a3764c050dbeca1f7fc4a18b (diff) |
krebs.hosts.*.infest: RIP
-rw-r--r-- | krebs/4lib/types.nix | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/krebs/4lib/types.nix b/krebs/4lib/types.nix index d63080b99..7fb206928 100644 --- a/krebs/4lib/types.nix +++ b/krebs/4lib/types.nix @@ -35,19 +35,6 @@ types // rec { type = with types; attrsOf string; }; - infest = { - addr = mkOption { - type = str; - apply = trace "Obsolete option `krebs.hosts.${config.name}.infest.addr' is used. It was replaced by the `target' argument to `make` or `get`. See Makefile for more information."; - }; - port = mkOption { - type = int; - default = 22; - # TODO replacement: allow target with port, SSH-style: [lol]:666 - apply = trace "Obsolete option `krebs.hosts.${config.name}.infest.port' is used. It's gone without replacement."; - }; - }; - secure = mkOption { type = bool; default = false; |