summaryrefslogtreecommitdiffstats
path: root/krebs
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2016-02-19 16:18:50 +0100
committertv <tv@krebsco.de>2016-02-20 02:02:07 +0100
commitdbe2ece8ad962d654bc34f3a7c4802768df71ebb (patch)
treebfd889fdeb1aa30cd899610ebaa4e3c3ff05f774 /krebs
parent47ef169276fcb500a3764c050dbeca1f7fc4a18b (diff)
krebs.hosts.*.infest: RIP
Diffstat (limited to 'krebs')
-rw-r--r--krebs/4lib/types.nix13
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;