summaryrefslogtreecommitdiffstats
path: root/krebs/4lib
diff options
context:
space:
mode:
authortv <tv@shackspace.de>2015-10-01 14:59:58 +0200
committertv <tv@shackspace.de>2015-10-01 14:59:58 +0200
commit24326956780833540fd65dd0cb750c1071fa51b9 (patch)
treefdf2a14c654d2c4e5154e8d7742557f8bbb3c4bc /krebs/4lib
parent3384dd0a5578cc3a26dd076669dd264f5ae9f008 (diff)
krebs lib.types: deprecate host.infest.{addr,port}
Diffstat (limited to 'krebs/4lib')
-rw-r--r--krebs/4lib/types.nix3
1 files changed, 3 insertions, 0 deletions
diff --git a/krebs/4lib/types.nix b/krebs/4lib/types.nix
index 0aa594fb1..039f803ef 100644
--- a/krebs/4lib/types.nix
+++ b/krebs/4lib/types.nix
@@ -31,10 +31,13 @@ types // rec {
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.";
};
};